Contribution à la modélisation de la tâche par des outils de spécification exploitant les mouvements oculaires : application à la conception et l'évaluation des interfaces homme-machine

La conception et l'evaluation d'interfaces hommes-machines adaptees pour permettre a l'operateur d'effectuer son role de superviseur dans les systemes tres automatises necessite l'utilisation d'une methodologie rigoureuse et de moyens de mesure specifiques. Ce memoire presente une methodologie d'analyse de la tâche basee sur deux demarches complementaires: l'approche descendante consiste a modeliser la tâche a effectuer en termes de ressources et d'actions. Sa formalisation est realisee avec les outils sadet et reseaux de Petri. A l'issue de cette phase, des specifications relatives a l'interface permettent la realisation d'une premiere maquette prefigurant le systeme recherche; un plan experimental est ensuite elabore; l'approche ascendante consiste a etablir apres experimentation un modele a posteriori des tâches effectivement executees, en utilisant le meme outil de formalisation et ceci a partir des actions de l'operateur, et en particulier de son activite oculaire. La comparaison des modeles issus respectivement de la phase descendante et de la phase ascendante fournit alors des indices objectifs pour faire evoluer l'interface. Dans le cadre de cette etude, une instrumentation specialisee du poste de travail a ete realisee qui permet notamment la mesure et le traitement entierement automatiques des mouvements oculaires. Une application concrete dans la navigation aerienne illustre les differentes theories utilisees pour l'analyse du comportement d'un controleur aerien