Vous êtes ici

HYCOMES

Responsable: Benoît CAILLAUD
Site WEB:

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

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.
Création le : Pré-équipe : 01/07/13, Équipe : 30/06/15
Établissement de rattachement : Inria & CNRS
Localisation : Campus de Beaulieu, RENNES (35)