Supporting usability evaluation of multimodal man- machine interfaces for space ground segment applications using Petri net based formal specification

Philippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Winckler

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationSpaceOps 2006 Conference
Publication statusPublished - 1 Dec 2006
Externally publishedYes
EventSpaceOps 2006 Conference - 9th International Conference on Space Operations - Rome, Italy
Duration: 19 Jun 200623 Jun 2006

Conference

ConferenceSpaceOps 2006 Conference - 9th International Conference on Space Operations
CountryItaly
CityRome
Period19/06/0623/06/06

Fingerprint Dive into the research topics of 'Supporting usability evaluation of multimodal man- machine interfaces for space ground segment applications using Petri net based formal specification'. Together they form a unique fingerprint.

Cite this