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 - 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
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