Traitement et communication de données en temps réel (réseau des senseurs)


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.