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

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 proceeding › Conference contribution › Academic › peer-review

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 language	English
Title of host publication	SpaceOps 2006 Conference
Publication status	Published - 1 Dec 2006
Externally published	Yes
Event	SpaceOps 2006 Conference - 9th International Conference on Space Operations - Rome, Italy Duration: 19 Jun 2006 → 23 Jun 2006

Conference

Conference	SpaceOps 2006 Conference - 9th International Conference on Space Operations
Country/Territory	Italy
City	Rome
Period	19/06/06 → 23/06/06

Cite this

@inproceedings{9e783ee4d56a40b3940dc25eb56022da,

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

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.",

author = "Philippe Palanque and Regina Bernhaupt and David Navarre and Mourad Ould and Marco Winckler",

year = "2006",

month = dec,

day = "1",

language = "English",

isbn = "9781624100512",

booktitle = "SpaceOps 2006 Conference",

note = "SpaceOps 2006 Conference - 9th International Conference on Space Operations ; Conference date: 19-06-2006 Through 23-06-2006",

}

TY - GEN

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

AU - Palanque, Philippe

AU - Bernhaupt, Regina

AU - Navarre, David

AU - Ould, Mourad

AU - Winckler, Marco

PY - 2006/12/1

Y1 - 2006/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84884731841&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84884731841

SN - 9781624100512

BT - SpaceOps 2006 Conference

T2 - SpaceOps 2006 Conference - 9th International Conference on Space Operations

Y2 - 19 June 2006 through 23 June 2006

ER -

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

Abstract

Conference

Other files and links

Fingerprint

Cite this