Systèmes et objets communicants mobiles

Les systèmes informatiques du futur seront de plus en plus distribués, communicants et mobiles. Ils proposeront des services individualisés à des communautés d’usagers. Dans ce paysage, les humains et les artefacts informatiques seront en interaction dans un environnement partagé. Ce paysage informatique est déjà en construction comme un tout composé d’entités (ou objets), qui sont des humains et des artefacts, en interaction (communicantes) et mobiles. Parmi les grands défis qui semblent alors se dessiner, l'un concerne la conception d’architectures pour ces artefacts informatiques : quels modèles d’infrastructure, quels modèles d’application ?

Avec la miniaturisation rapide des dispositifs électroniques et la multiplication des capacités de communications des réseaux, la société de demain sera, selon tous les « prospectivistes », celle des objets intelligents, des « programmes » dans tous les objets de la vie quotidienne qui communiqueront pour nous aider. Le défi de demain sera de programmer ces objets, de les faire coopérer, en les maîtrisant. De nouvelles architectures et de nouvelles méthodes de développement sont à inventer. Le parcours Systèmes et objets communicants mobiles s'intéresse aux méthodes, outils et artefacts nécessaires à la construction de ces systèmes. Pour ce faire, il aborde les technologies aujourd'hui indispensables comme les réseaux de communications, les intergiciels et les composants logiciels.

À partir de la notion de modèle, vue dans le module CMP, des applications spécifiques des modèles aux systèmes communicants sont abordés. On approfondit la notion de modèle au travers du standard UML qui est analysé, critiqué et exploité dans l'approche par transformation de modèles (MT). Un aspect important des modèles est leur capacité à vérifier et tester des propriétés. Les systèmes à objets communicants sont difficiles à mettre au point. Le module SVT est dédié à la problématique de la vérification et présente des modèles dédiés à la vérification de propriétés liées à la distribution, au parallélisme et au temps réel. Les deux derniers modules de ce parcours abordent le contrôle de ces systèmes vu sous deux angles complémentaires que sont le contrôle à distance (RSC) -- par un humain en particulier -- et l'autonomie (SIA), une forme d'auto-contrôle.

Liste des 5 U.E.du parcours :

• Connaissance, modèles et paradigmes (CMP)
• Modèles et transformations (MT)
• Spécifications, vérification et test (SVT)
• Environnements, réseaux et systèmes de contrôle (RSC)
• Architectures pour systèmes informatiques autonomes (SIA)