C’est un axe de recherche qui s’articule sur le traitement et communication de données en temps réel,
ces données acquis par un capteur ou un réseau de capteurs interconnectés et s'alimentant l'un l'autre
par le biais d’une chaine d’acquisition, elles peuvent être traités immédiatement par un système temps réel et,
finalement, remises à l'utilisateur ou les stocker pour les utiliser ultérieurement.
Les thèmes de recherche concernent les modèles algébriques pour systèmes communicants et temps réel. Les domaines
visés sont les systèmes mobiles et les langages parallèles. Les chercheur de cet axe s’intéressent aussi bien à la spécification,
à la validation qu’à l’application de ces modèles théoriques. Une convergence vers une approche sécurité/sûreté de fonctionnement
est également fortement incitée au sein de cette équipe. Les outils théoriques manipulés vont de l’algèbre de processus, à la sémantique
des langages concurrents.