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+

par Meriem Riahi

Thèse de doctorat en Informatique. Automatique et informatique des systèmes industriels et humains

Sous la direction de Christophe Kolski.

Soutenue en 2004

à Valenciennes .


  • Résumé

    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.

  • Titre traduit

    Contribution to a method for human-machine interface specification, verification and semi-automatic generation : application to the Ergo-Conceptor+ tool


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (151 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 141-152

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Polytechnique Hauts-de-France. Service commun de la documentation. Site du Mont Houy.
  • Non disponible pour le PEB
  • Cote : 900174 TH

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2004VALE0014
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.