Interactive cockpits as critical applications: a model-based and a fault-tolerant approach

Authors:
Camille Fayollas;Jean-Charles Fabre;Philippe Palanque;É/ric Barboni;David Navarre;Yannick Deleris
Affiliations:
ICS-IRIT, University of Toulouse, 118 Route de Narbonne, F-31062, Toulouse, France/ CNRS, LAAS, 7 avenue du colonel Roche, F-31400 Toulouse, France;CNRS, LAAS, 7 avenue du colonel Roche, F-31400 Toulouse, France/ Université/ de Toulouse, INP, LAAS, F-31400 Toulouse, France;ICS-IRIT, University of Toulouse, 118 Route de Narbonne, F-31062, Toulouse, France;ICS-IRIT, University of Toulouse, 118 Route de Narbonne, F-31062, Toulouse, France;ICS-IRIT, University of Toulouse, 118 Route de Narbonne, F-31062, Toulouse, France;AIRBUS Operations, 316 Route de Bayonne, 31060, Toulouse, France
Venue:
International Journal of Critical Computer-Based Systems
Year:
2013

Citing 15
Cited 0

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
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
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
Severity and impact of computer user frustration: A comparison of student and workplace users

Interacting with Computers
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

ACM Transactions on Computer-Human Interaction (TOCHI)
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
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

PRDC '11 Proceedings of the 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The deployment of higher interactivity in avionic digital cockpits for critical applications is a challenge today both in terms of software engineering and fault-tolerance. The dependability of the user interface and its related supporting software must be consistent with the criticality of the functions to be controlled. The approach proposed in this paper combines fault prevention and fault-tolerance techniques to address this challenge. Following the ARINC 661 standard, a model-based development of interactive objects namely widgets and layers aims at providing zero-defect software. Regarding remaining software faults in the underlying runtime support and also physical faults, the approach is based on fault tolerance design patterns, like self-checking components and replication techniques. The proposed solution relies on the space and time partitioning provided by the executive support following the ARINC 653 standard. Defining and designing resilient interactive cockpits is a necessity in the near future as these command and control systems provide a great opportunity to improve maintenance, evolvability and usability of avionic systems.