Vers une spécification formelle des interfaces homme-machine basée sur l'utilisation des réseaux de Petri
Résumé
This is a propose for an approach for graphical Interfaces design in process control, based on a formal modelization of the Man-Machine System behaviour. Interpreted Petri Nets are used for the behaviour modelization which considers both : the normal functionning context and the abnormal one. This allows the deduction of the user requirements and offers the possibilities to formel validation of the specifications and automatic generation of the interface.
Il est proposé une approche de spécification des interfaces graphiques pour le contrôle des procédés industriels, basée sur une modélisation formelle du comportement du Système Homme-Machine. Cette modélisation du comportement, effectuée à l’aide des réseaux de Petri Interprétés (RdPI), prend en compte aussi bien les situations de fonctionnement normal que les situations des dysfonctionnements, facilite la tâche d’analyse des Besoins Informationnels de l'Opérateur (BIO) et ouvre la voie vers la validation formelle des spécifications et la génération automatique de l'interface.