By Topic

Software safety analysis of a flight guidance system

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

3 Author(s)
A. C. Tribble ; Rockwell Collins, Cedar Rapids, IA, USA ; D. L. Lempia ; S. P. Miller

An aircraft's flight control system provides the capability to stabilize and control the aircraft. Two key elements of a flight control system are the flight guidance system that generates guidance commands and the auto-pilot that executes them. The flight guidance system is a software function composed of flight control laws, that determine the roll and pitch values needed to achieve the desired flight characteristics, and mode logic that selects the appropriate flight control law for the given situation. We developed a formal, executable model of the requirements for the mode logic of a flight guidance system and conducted a comprehensive software safety analysis on the model. We provide an overview of the safety analysis conducted on the software and summarize progress made to date in the use of formal methods to verify the presence of the required safety properties in the software itself.

Published in:

Digital Avionics Systems Conference, 2002. Proceedings. The 21st  (Volume:2 )

Date of Conference: