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