Human-Computer Interaction

Best Paper Award for the Human-Computer Interaction thematic area, in the context of HCI International 2009, 19-24 July 2009, San Diego, California, USA

Certificate for Best Paper Award of the Human-Computer Interaction thematic area
conferred to

Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
(Université Paul Sabatier - Toulouse 3, France)

for the paper entitled

"High-Fidelity Prototyping of Interactive Systems Can Be Formal too"

Presented in the context of HCI International 2009
San Diego, California, USA, 19-24 July 2009

Paper Abstract
"The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively compare two design options. The aim of this paper is to present a method, with supporting tools and techniques, for engineering the design and development of usable user interfaces for safety-critical applications. More precisely we present the Petshop environment which is a Petri net based tool for the design specification, prototyping and validation of interactive software. In this environment models of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements for instance) as well as in the operation phase (after the system is deployed). The use of the description technique (the ICO formalism) supported by PetShop is presented on a multimodal ground segment application for satellite control and more precisely how prototyping can be performed at the various levels of the architecture of interactive systems."

The full paper is available through SpringerLink, provided that you have proper access rights.