Groupe ThéMIS : Théorie, modélisation et ingénierie des systèmes

Axes scientifiques​​

• Théorie : conception préliminaire de systèmes complexes, architecture, exploration de l’espace de conception, analyse des compromis, sémantique de modèles, méthodes formelles de vérification et validation, résilience
• Modélisation : ingénierie système à base de modèles (MBSE), liens avec l’analyse de sûreté (MBSA) et l’optimisation pluridisciplinaire (MDAO), transformation de modèles, outils de V&V ​
• Processus d’ingénierie : connexion MBSE-PLM-LCA​
  ​

Coopérations​

• Industrielles : ESA, GMV, ONERA, Thales, CNES​
• Académiques : Telecom Paris, Vérimag (Université Grenoble-Alpes), TU Delft, MIT, TUM​
  ​