Title :
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
Author :
Fayollas, C. ; Fabre, J.C. ; Palanque, Philippe ; Cronel, M. ; Navarre, D. ; Deleris, Y.
Author_Institution :
LAAS, Toulouse, France
Abstract :
Engineering interactive systems for safety critical applications such as in avionic digital cockpits (and more generally Graphical User interfaces) is a challenge from a dependability viewpoint. The dependability of the user interface and its related hardware and software components must be consistent with the criticality of the functions to be controlled and their required DAL levels. This paper proposes a stepwise refinement approach going from systematic identification of failure modes of these systems to their detection via formally defined assertions. The last steps of the approach present how the assertions can be included into the monitoring part of self-checking interactive components and how they can be deployed on an architecture compliant with the ARINC 653 specification, ensuring temporal and spatial segregation, thus detecting errors and preventing failures due to both physical and transient software faults. We present how these contributions have been applied to the Flight Control Unit Backup interactive application which is available in A380 interactive cockpits.
Keywords :
aerospace control; aircraft displays; avionics; fault tolerant computing; graphical user interfaces; interactive systems; A380 interactive cockpits; ARINC 653 specification; DAL levels; avionic digital cockpits; control systems; display systems; error detection; failure mode identification; failure prevention; flight control unit backup interactive application; formally defined assertions; graphical user interface dependability; hardware component dependability; interactive systems; physical software fault; refinement approach; safety critical applications; self-checking interactive component monitoring; software component dependability; software-implemented fault-tolerance approach; spatial segregation; temporal segregation; transient software fault; Aerospace control; Aerospace electronics; Aircraft; Interactive systems; Monitoring; Servers; Software; assertion monitoring; fault-tolerance; interactive cockpits; self-checking components;
Conference_Titel :
Dependable Computing (PRDC), 2014 IEEE 20th Pacific Rim International Symposium on
Conference_Location :
Singapore
Print_ISBN :
978-1-4799-6473-4
DOI :
10.1109/PRDC.2014.11