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

Plus de détails ici

Members

Permanent

Emeritus

PhD Students

Baptiste Gueuziec

PostDoc