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

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. Voir plus d’information sur https://www.irit.fr/ifx/

Lire la suite

NEPTUNE

L’équipe développe une plateforme offrant des services de manipulation de modèles et de méta-modèles UML, incluant notamment la possibilité de vérifier statiquement des règles de bonne formation d’un (...)

Lire la suite