Pôle Modèles Modélisation formelle des systèmes critiques
Responsable : Frédéric Boulanger
Description
Cette thématique de recherche concerne l'utilisation des méthodes formelles pour traiter de bout en bout la conception d'un système, et notamment des systèmes cyber-physiques, hybrides, embarqués etc. Ceci inclut les aspects suivants :
- sémantique des langages de modélisation
- méthodologies de développement et ingénierie des modèles, certification
- méthodes de synthèse, de diagnostic et de vérification
- utilisation conjointe de différents :
- langages,
- méthodes de synthèses,
- techniques de vérification, pour la conception d'un système.
Mots-clefs
- Modèle, Système, Contrôle
- Vérification, Validation, Diagnostic
- Systèmes cyberphysiques, hybrides, critiques
- Ingénierie dirigée par les modèles, Langages spécifiques à un domaine
- Sémantique des langages de modélisation
Members
Permanent
Emeritus
PhD Students
Baptiste Gueuziec