Logiciel

IMITATOR

IMITATOR est un outil logiciel pour la vérification paramétrique et l'analyse de la robustesse des systèmes temps-réel avec paramètres. Il s'appuie sur le formalisme des réseaux d'automates temporisés paramétrés, enrichis de variables globales à valeurs rationnelles, de chronomètres, d'horloges à taux multiples et d'autres fonctionnalités utiles.