View article

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.