Self-checking widgets for interactive cockpits

Authors:
A. Tankeu Choitat;J.-C. Fabre;P. Palanque;D. Navarre;Y. Deleris
Affiliations:
AIRBUS Operations, Route de Bayonne, Toulouse, France and IRIT, University of Toulouse, Route de Narbonne, Toulouse, France;LAAS-CNRS, avenue du colonel Roche, Toulouse, France;IRIT, University of Toulouse, Route de Narbonne, Toulouse, France;IRIT, University of Toulouse, Route de Narbonne, Toulouse, France;AIRBUS Operations, Route de Bayonne, Toulouse, France
Venue:
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Year:
2011

Citing 15
Cited 0

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures

Computer
Specification of interface interaction objects

CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal specification of CORBA services: experience and lessons learned

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Engineering Joy

IEEE Software
Human-Machine Interaction and Role/Function/Action-Nets

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
A Petri Net based Environment for the Design of Event-driven Interfaces

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
On the use of transition diagrams in the design of a user interface for an interactive computer system

ACM '69 Proceedings of the 1969 24th national conference
Design of self-checking software

Proceedings of the international conference on Reliable software
The thing and I: understanding the relationship between user and product

Funology
Severity and impact of computer user frustration: A comparison of student and workplace users

Interacting with Computers
Give me a reason: hedonic product choice and justification

CHI '08 Extended Abstracts on Human Factors in Computing Systems
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

ACM Transactions on Computer-Human Interaction (TOCHI)
Fusion engines for multimodal input: a survey

Proceedings of the 2009 international conference on Multimodal interfaces
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the last few years, glass cockpits are being replaced by interactive cockpits to provide a much higher level of integration. Due to their event driven nature, interactive systems offer more display and control features but also more unpredictable side effects. Exhaustive testing being impossible, fault tolerant techniques have to be considered. This paper proposes a model-based approach for adding fault-tolerance mechanisms to interactive cockpits. The contribution is focused on the implementation of self-checking widgets, being the basis for interactive cockpits.