Authors: Camille Fayollas; Jean-Charles Fabre; Philippe Palanque; Éric Barboni; David Navarre; Yannick Deleris
Addresses: 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
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.
Keywords: self-checking components; widgets; layers; dependability; fault tolerance; fault prevention; resilient computing; interactive systems; interactive cockpits; model-based approach; critical computer-based systems; avionics; digital cockpits; zero defect software; software faults; replication; modelling.
International Journal of Critical Computer-Based Systems, 2013 Vol.4 No.3, pp.202 - 226
Received: 10 Oct 2012
Accepted: 29 Aug 2013
Published online: 22 Dec 2013 *