Title :
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
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;
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
DOI :
10.1109/SYSTEMS.2009.4815773
