A formal method approach to analyze the design of aircraft Flight Control Systems

Author

Nanda, Manju ; Rao, Shrisha

Author_Institution

Int. Inst. of Inf. Technol. - Bangalore, Bangalore

fYear

2009

fDate

23-26 March 2009

Firstpage

64

Lastpage

69

Abstract

The paper shows how the system algebra formal method can be used to analyze the system design of safety critical systems like the Flight Control Systems (FCS) of Jaguar, Airbus A380, and the Boeing 777 aircraft. The capability of the system algebra to verify critical system features like system availability, redundancy, coupling and fault tolerance based on the system states is demonstrated by simulation. The results presented are verification of the safety design requirements of the Jaguar aircraft, and a comparison of the FCSs of the Boeing 777 and Airbus A380. A comparison of system algebra with other popular system analysis approaches like the reliability block diagram (RBD) and fault tree analysis (FTA) is discussed.

Keywords

aerospace computing; aircraft control; control engineering computing; fault tolerance; formal verification; systems analysis; trees (mathematics); Airbus A380 aircraft; Boeing 777 aircraft; Jaguar aircraft; aircraft flight control system design; fault tolerance; fault tree analysis; reliability block diagram; safety critical systems; system algebra formal method; system analysis; system availability; Aerospace control; Aerospace electronics; Aircraft; Algebra; Information analysis; Modeling; Performance analysis; Safety; System analysis and design; US Department of Transportation; avionics; fault tree analysis; formal methods; reliability block diagrams; safety-critical systems; system algebra;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems Conference, 2009 3rd Annual IEEE

Conference_Location

Vancouver, BC

Print_ISBN

978-1-4244-3462-6

Electronic_ISBN

978-1-4244-3463-3

Type

conf

DOI

10.1109/SYSTEMS.2009.4815773

Filename

4815773