Pôle Modèles Formal Modeling of Critical Systems

Contact: Frédéric Boulanger

Description

This research theme is about using formal methods all along the design of a system, especially for cyberphysical, hybrid, and embedded systems. This includes the following aspects:

  • Semantics of modeling languages
  • Development methodologies, model driven engineering, certification
  • Synthesis, diagnostic and verification methods
  • Joint use of several:
    • languages,
    • synthesis methods,
    • verification techniques, in the design of a system.

Keywords

  • Model, System, Control
  • Verification, Validation, Diagnostic
  • Cyberphysical, hybrid, critical systems
  • Model-driven engineering, Domain Specific Languages
  • Semantics of modeling languages

More details here

Members

Permanent

Emeritus

PhD Students

Baptiste Gueuziec

PostDoc