Interaction Homme-Machine

Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine

Les problèmes ergonomiques posés, liés à l'utilisation de l'interface graphique, concernent principalement quoi présenter à l'opérateur (en fonction du contexte de fonctionnement et des tâches opérateurs) et comment le présenter.

L'approche proposée vise à satisfaire les points suivants: (1) une analyse globale du système homme- machine (SHM) couvrant l'analyse de la tâche, des fonctionnements et des dysfonctionnements du système à contrôler, permettant la déduction des besoins informationnels de l'opérateur (BIO); (2) une modélisation formelle du comportement du SHM permettant la gestion automatique du dialogue et la vérification des bonnes propriétés de l'interface; (3) une spécification graphique de l'interface intégrant les recommandations ergonomiques nécessaires de représentation et regroupement des objets au niveau des différentes vues de l'interface; (4) une génération semi-automatique de l'interface à partir des spécifications préétablies.