Nos recherches se focalisent sur le développement des méthodes de conception des systèmes d’automatisation distribués. La fiabilité de ce type de système est atteinte grâce à deux approches : La transparence des procédures de développement et l’analyse détaillée. Ces deux approches sont étudiées dans nos recherches.

Nos deux principaux domaines d'application de ces méthodes de développement sont les suivants:

  • L’automatisation et l’optimisation des systèmes d’énergie, notamment l’intégration des générateurs des énergies renouvelables et l’étude de leurs défis connexes en vue d’avoir un fonctionnement plus efficace.

  • Conception et analyse conceptuelle des réseaux des systèmes d’automatisation, les systèmes dits C3 (Communication, Computation, Control) dont leur complexe comportement temporel impose des exigences particulières au niveau de la conception et la spécification ainsi qu’au niveau de la modélisation et la simulation.