Int. J. of Critical Computer-Based Systems   »   2013 Vol.4, No.3

 

 

Title: 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

 

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.

 

DOI: 10.1504/IJCCBS.2013.058407

 

Int. J. of Critical Computer-Based Systems, 2013 Vol.4, No.3, pp.202 - 226

 

Date of acceptance: 29 Aug 2013
Available online: 22 Dec 2013

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article