A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics

Résumé

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.
Fichier non déposé

Dates et versions

hal-03263715 , version 1 (17-06-2021)

Identifiants

Citer

Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, et al.. A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. 20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩. ⟨hal-03263715⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More