Département: Software and System Engineering ⊕
Le développement et la validation des cahiers des charges sont des tâches de génie logiciel particulièrement difficiles, surtout pour les systèmes critiques. L’animation est une technique de validation des exigences intéressante car elle permet de générer des comportements du système facilement évaluables par des parties prenantes.
L’animateur FAUST permet à un expert du domaine d’exécuter et évaluer
des modèles comportementaux orientés objectif. Ce mémoire présente un toolkit graphique qui permet d’interagir avec l’animateur d’exigences FAUST via les
panneaux de commande. Les panneaux de commande sont des interfaces spécifiques au domaine, pour contrôler et surveiller le système animé. Ces panneaux peuvent
facilement être créés par l’utilisateur à l’aide d’un outil de composition de type "WYSIWYG" couplé à une riche librairie de composants. Par exemple,
pour valider un modèle du comportement d’un système de contrôle de trains, l’utilisateur peut rapidement recréer utiliser le panneau de commande du conducteur
du train.
Christophe Ponsard and Nadiya Balych
Janvier 2005