Brest, parcours SOCM : Systèmes et objets communicants mobiles
Responsable : Antoine Beugnard
Ce parcours est centré sur les moyens technologiques et scientifiques pour réaliser des systèmes ubiquitaires. 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.
À partir de la notion de modèle, vue dans le module partagé par les 2 parcours brestois (CMP), des applications spécifiques des modèles aux systèmes communicants seront abordés. On approfondira la notion de modèle au travers du standard UML qui sera 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 seront difficiles à mettre au point. Le module ATF sera dédié à la problématique de la vérification et présentera 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 aborderont le contrôle de ces systèmes vu sous deux angles complémentaires qui sont le contrôle à distance (RSC) – par un humain en particulier – et l'autonomie (SIA), une forme d'auto-contrôle.
Ci-dessous, la liste des UE :