By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Manju Nanda ; International Institute of Information Technology - Bangalore, 26/C Electronics City, Hosur Road, 560 100, India ; Shrisha Rao

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.

Published in:

Systems Conference, 2009 3rd Annual IEEE

Date of Conference:

23-26 March 2009