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 > Outils

OMEGA-IFx

IFx-OMEGA est un compilateur, simulateur, model-checker pour un riche sous-ensemble de UML 2.2 et de SysML 1.1. Il est basé sur le model-checker IF développé par VERIMAG. Il peut être utilisé pour valider et vérifier des systèmes temporisés asynchrones ayant une dynamique complexe. Il est basé sur une sémantique rigoureuse, spécialement bien adaptée pour les systèmes embarqués temps-réel critiques. IFx-OMEGA fût à l’origine le résultat du projet Européen IST OMEGA, et fût ensuite développé avec le soutien d’autres projets tels que le projet IST ASSERT, l’activité 3-12639 et le projet FullMDE de l’ESA. Pour plus d’information voir le IFx-OMEGA