HYCOMES, Modélisation hybride et conception par contrats pour les systèmes embarqués multi-physiques

Notre vision est que les outils de modélisation des systèmes hybrides méritent en théorie des efforts similaires à ceux des langages synchrones pour la programmation des systèmes embarqués.

Domaine scientifique et thématique de recherche

Les travaux de l’équipe Hycomes s’articulent autour d’une application : l’ingénierie des systèmes cyber-physiques (cyberphysical systems en anglais), combinant modèles physique et logiciel.

Deux axes de recherche sont privilégiés :

1. la modélisation et la simulation des systèmes hybrides, combinant des dynamiques en temps continu et en temps discret ;
2. les méthodes de conception par contrats pour les systèmes cyber-physiques.

Les travaux de l’équipe répondent aux objectifs suivants :

• La conception de langages de modélisation des systèmes hybrides permettant un style de modélisation proche de la physique ;
• Le développement de techniques de simulation fidèles, permettant de simuler des modèles avec une sémantique garantie ;
• La conception de techniques de compilation des langages hybrides permettant la compilation séparée et améliorant la réutilisabilité des modèles de composants ;
• L’utilisation de techniques de raisonnement par contrats, permettant d’exprimer et de vérifier, par des méthodes compositionnelles, les cahiers des charges de systèmes cyber-physiques.