Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification

Résumé

This paper describes the issues raised by the evaluation of multimodal interfaces in the field of command and control workstations. Design, specification, verification and certification issues for such Man-Machine Interfaces (MMIs) have been already identified as critical activities. This paper focuses on the issues raised by evaluation of their usability evaluation. We first present a formalism (Interactive Cooperative Objects) and its related case tool (PetShop) for the specification of such MMIs and then show how the models built can support the usability evaluation phase. As a case study we present a multimodal interaction for 3D navigation in a 3D satellite model.
Fichier non déposé

Dates et versions

hal-03663640 , version 1 (10-05-2022)

Identifiants

Citer

Philippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Winckler. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. International Conference on Space Operations (SpaceOps 2006), American Institute of Aeronautics and Astronautics (AIAA), Jun 2006, Rome, Italy. ⟨10.2514/6.2006-5657⟩. ⟨hal-03663640⟩
43 Consultations
0 Téléchargements

Altmetric

Partager

More