Base des structures de recherche Inria
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 - 2024" :
Aucun mot-clé.
Mots-clés de "B - Autres sciences et domaines d'application - 2024" :
Aucun mot-clé.
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
Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception des systèmes cyberphysiques:
Les travaux de recherche de l'équipe-projet Hycomes portent sur les sujets suivants:
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.
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr