Safe allocation of avionics shared resources

Author

Sagaspe, Laurent ; Bel, Gérard ; Bieber, Pierre ; Boniol, Fréderic ; Castel, Charles

Author_Institution

Centre d´´Etudes et de Recherches de Toulouse, Office Nat. d´´Etudes et de Recherches Aerospatiales, Toulouse, France

fYear

2005

fDate

12-14 Oct. 2005

Firstpage

25

Lastpage

33

Abstract

We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three main steps: use a formal notation to describe how failures propagate in the system under study, use model-checking tools to verify safety requirements and to derive allocation constraints, use a constraint solver to generate safe allocations. This approach is illustrated by the study of the Terrain Following/Terrain Avoidance (TF/TA) System of a fighter aircraft.

Keywords

aerospace safety; formal verification; military aircraft; military avionics; resource allocation; system recovery; Terrain Avoidance System; Terrain Following System; avionic systems; avionics shared resource safe allocation; communication resource sharing; constraint solver; failure propagation; fighter aircraft; model-checking tools; safety requirements verification; Aerospace electronics; Resource management; Safety; Strontium;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on

ISSN

1530-2059

Print_ISBN

0-7695-2377-3

Type

conf

DOI

10.1109/HASE.2005.18

Filename

1581280