Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet SYCOMORES Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires L'objective de l'équipe-project commun SYCOMORES est de developper un framework pour la conception...