Meriem Riahi Chebbi

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 Meriem Riahi Chebbi French edition

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.