Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

The paper proposes a formal description technique and a supporting tool that provide a means to handle both static and dynamic aspects of input and output device configurations and reconfigurations. More precisely, in addition to the notation, the paper proposes an architecture for the management of failure on input and output devices by means of reconfiguration of in/output device configuration and interaction techniques. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the hardware side of the user interface is failing. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units. The contribution presented in the paper thus addresses usability issues (improving the ways in which operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices.

[1]  Philippe A. Palanque,et al.  A model-based approach for real-time embedded multimodal systems in military aircrafts , 2004, ICMI '04.

[2]  Joëlle Coutaz,et al.  Plasticity of User Interfaces: Framework and Research Agenda , 1999, INTERACT.

[3]  Philippe A. Palanque,et al.  Petri Net Based Behavioural Specification of CORBA Systems , 1999, ICATPN.

[4]  Eric Barboni,et al.  A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661 , 2007, 2007 International Symposium on Industrial Embedded Systems.

[5]  Jean Vanderdonckt,et al.  Design, Specification and Verification of Interactive Systems ’96 , 1996, Eurographics.

[6]  Philippe A. Palanque,et al.  Design, specification, and verification of interactive systems , 2001, SOEN.

[7]  M. Csíkszentmihályi.  Flow: The Psychology of Optimal Experience , 1990 .

[8]  Terumasa Aoki,et al.  Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis , 2006, KES.

[9]  David Woods,et al.  Resilience Engineering: Concepts and Precepts , 2006 .

[10]  Andries van Dam,et al.  Post-WIMP user interfaces , 1997, CACM.

[11]  Eric Barboni,et al.  Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification , 2006, DSV-IS.

[12]  Michalis Vazirgiannis,et al.  Web personalization integrating content semantics and navigational patterns , 2004, WIDM '04.

[13]  Marco Winckler,et al.  Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification , 2006 .

[14]  Thomas Ball,et al.  Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.

[15]  Nasa,et al.  A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop , 1992, SGCH.

[16]  C. Petri.  Kommunikation mit Automaten , 1962 .

[17]  J. Shaoul.  Human Error , 1973, Nature.

[18]  Eric Barboni,et al.  ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability , 2009, TCHI.

[19]  Johnny Accot,et al.  Formal transducers: Models of devices and building bricks for the design of highly interactive systems , 1997, DSV-IS.

[20]  Frank Vahid,et al.  Enabling nonexpert construction of basic sensor-based systems , 2009, TCHI.

[21]  Philippe A. Palanque,et al.  A tool-supported design framework for safety critical interactive systems , 2003, Interact. Comput..

[22]  I. Scott MacKenzie,et al.  Text entry using soft keyboards , 1999, Behav. Inf. Technol..

[23]  Philippe A. Palanque,et al.  Formal specification of CORBA services: experience and lessons learned , 2000, OOPSLA '00.