HYCOMES

Responsable d'équipe
Benoît CAILLAUD (Chercheur Inria)

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.

 

Date de création
30/06/2015
Etablissements de rattachement
Inria
Localisation
Campus de Beaulieu, RENNES (35)
Rapports d'activité
Fichier attaché Taille
HYCOMES-RA-2023.pdf 512.55 Ko
HYCOMES-RA-2022.pdf 493.63 Ko
HYCOMES-RA-2021.pdf 536.06 Ko
celtique2019_1.pdf 401.31 Ko
celtique2018_1.pdf 409.88 Ko
celtique2017_1.pdf 411.64 Ko