Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Plateformes logicielles

IFx-OMEGA

IFx-OMEGA (https://www.irit.fr/ifx/) is a compiler / simulator / model-checker for a rich subset of UML 2.2 / SysML 1.1, based on the IF model checker from VERIMAG. It may be used to validate and verify asynchronous timed system models with complex dynamics. It is based on a rigorous semantics, especially suited for critical real-time embedded systems.

IFx-OMEGA originated in the European project IST OMEGA, and was further developed with support from other projects including IST ASSERT, ESA Activity 3-12639 and ESA FullMDE.