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

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.

Lire la suite

NEPTUNE

La première version de la plate-forme NEPTUNE fût créée durant le projet IST NEPTUNE (IST-1999-20017). Les objectifs de cette plate-forme étaient de fournir des outils pour la vérification de modèles et la génération des documents associés. L’expérimentation de cette plate-forme par différents partenaires mit en exergue le besoin d’améliorations.

Lire la suite