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
Members
Permanent
Emeritus
PhD Students
Baptiste Gueuziec