Criticality and Confidence Issues in Avionics

Youssef Laarouchi (1) , Yves Deswarte (1) , David Powell (1) , Jean Arlat (1) , Eric de Nadai (2)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
2 EDYMI2

Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical on-board systems. However, new aircraft generations need more interaction with off-board systems to offer extended services. The extent to which such interactions can be securely supported requires an in-depth characterization, analysis and control of potentially dangerous information flows. In this paper, we consider the safety aspect of such systems and detail the different viewpoints that justify the level of confidence that can placed on a system component.

Mots clés: Dependability; safety; fault tolerance; critical systems; avionics

Domaines: Génie logiciel [cs.SE]

Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric de Nadai. Criticality and Confidence Issues in Avionics. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p. ⟨hal-00381966⟩