Lecture Notes in Computer Science, 2008, Volume 5136/2008, 208-224, DOI: 10.1007/978-3-540-70569-7_20

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

David Navarre, Philippe Palanque, Jean-François Ladry and Sandra Basnyat

View Related Documents

Abstract

This paper proposes an architecture that provides a means to handle failures of input and output devices. This handling is done by means of previously defined and designed configurations. According to the failure identified at runtime of the interactive system, the most appropriate configuration will be loaded and executed. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the user interface hardware has failed. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units and can use various combinations of input devices either in a mono-modal or in a multimodal manner.

Keywords  Model-based approaches - ARINC 661 specification - formal description techniques - interactive software engineering - interactive cockpits

Fulltext Preview

Image of the first page of the fulltext document