Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine ( application à l'outil Ergo-Conceptor+)

La recherche effectuée vise l'élaboration d'une démarche globale de conception des interfaces homme-machine qui s'appuie sur l'utilisation d'outils formels pour l'identification, la spécification et l'analyse du comportement des objets intervenant dans les interactions homme-machine. 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. La méthode se base sur un système à base de connaissances intégrant les recommandations ergonomiques nécessaires pour la matérialisation graphique des différents objets identifiés lors de l'analyse du système pour leur affichage et leur manipulation par l'utilisateur.This research work is carried out in the context of design and semi-automatic generation of graphical Interfaces for process control. It studies a new approach for ergonomic Interface design, using a formal language for the specification of interface objects and their behaviour. The proposed approach aims to cover these main points: (1) an analysis of the HMS to identify the different functioning states of the system and the possible interventions of the human operator, expressing the interaction of the operator within the interface according to different functioning contexts of the system allowing the deduction of the user requirements; (2) a formal modelling of the Human-Machine System behaviour making possible the validation of the specifications before going on to the generation of the interface ; (3) a graphical specification of the interface integrating ergonomic criteria for the presentation and the dialogue of the interface; (4) a sem-automatic generation oh the interface rerading to the generated specifications. We use a model-based tool which is able to decide on the appropriate displays. It takes into consideration, on the one hand the results of the previous analysis (the list of its functioning states, the user requirements associated to each state,...) and on the other hand, specific formalised guidelines stored in its knowledge bases.VALENCIENNES-BU Sciences Lettres (596062101) / SudocSudocFranceF