Détail d'une fiche   Version PDF

HYCOMES (SR0754QR)

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

HYCOMES (SR0581SR) →  HYCOMES


Statut: Décision signée

Responsable : Benoit Caillaud

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2. Logiciel , A2.1. Langages de programmation , A2.1.1. Sémantique des langages de programmation , A2.1.5. Programmation par contraintes , A2.1.9. Langages synchrones , A2.1.10. Langages dédiés , A2.2. Compilation , A2.2.1. Analyse statique , A2.2.8. Génération de code , A2.3. Systèmes embarqués et cyber-physiques , A2.3.1. Systèmes embarqués , A2.3.2. Systèmes cyber-physiques , A2.3.3. Systèmes temps réel , A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.1. Analyse , A2.4.3. Preuves , A2.5. Génie logiciel , A2.5.1. Architecture, conception , A2.5.2. Conception basé composant , A6. Modélisation, simulation et contrôle , A6.1. Outils mathématiques pour la modélisation , A6.1.1. Modélisation continue (EDP, EDO) , A6.1.5. Modélisation multiphysique , A6.3. Interaction entre calcul et données , A6.3.4. Réduction de modèles , A8. Mathématiques pour l'informatique , A8.4. Calcul formel, calcul algébrique

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B4. Energie , B4.4. Acheminement , B4.4.1. Réseaux intelligents , B5.1. Usine du futur , B5.2. Conception et fabrication , B5.9. Maintenance , B8. Villes et territoires intelligents , B8.1. Bâtiments intelligents , B8.1.1. Energie , B8.2. Ville connectée , B8.3. Urbanisme et planification

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Systèmes embarqués et temps réel

Période : 01/09/2016 -> 31/12/2025
Dates d'évaluation : 19/03/2020

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : IRISA (UMR6074)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031022-2

Numéro RNSR : 201321225U
N° de structure Inria: SR0754QR

Présentation

Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception des systèmes cyberphysiques:

  1. La modélisation des systèmes hybrides, l'analyse structurelle des systèmes d'équations différentielles algébriques multimodes, et plus particulièrement la compilation du langage Modelica ;
  2. La conception par contrats et les théories d'interfaces pour la formalisation des cahiers des charges des systèmes cyberphysiques.

Axes de recherche

Les travaux de recherche de l'équipe-projet Hycomes portent sur les sujets suivants:

  • La conception de langages de modélisation de systèmes hybrides, pour l'ingénierie des systèmes cyberphysiques. L'équipe s'intéresse en particulier à la modélisation acausale, à base d'équations différentielles algébrique (differential algebraic equations ou DAE). Dans cette direction, les travaux actuels de l'équipe portent sur la sémantique, l'analyse structurelle et la génération de code de simulation pour les systèmes de DAE multimodes.
  • La formalisation du cahier des charges des systèmes cyberphysiques. Sur ce sujet, l'équipe poursuit ses travaux sur l'utilisation d'algèbres de contrats, pour spécifier les comportements attendus de ces systèmes, sous la forme d'enveloppes de trajectoires.
  • La vérification de systèmes hybrides, en utilisant des techniques de géométrie algébrique effective. L'objectif est d'assister la synthèse et la preuve de propriétés invariantes de ces systèmes.

Relations industrielles et internationales

L'équipe-projet Hycomes collabore avec plusieurs acteurs de la communauté constituée autour du langage Modelica. Ces acteurs sont autant des équipes de recherche academiques, que des vendeurs d'outils ou des industries utilisatrices du langage Modelica et du standard FMI. En particulier, l'équipe a collaboré/collabore étroitement avec les équipe-projet Inria Parkas et Tripop, le DLR en Allemagne, Dassault-Systèmes, EDF et Safran.