Cart (Loading....) | Create Account
Close category search window
 

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
$31 $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)
Tribble, A.C. ; Rockwell Collins, Cedar Rapids, IA, USA ; Lempia, D.L. ; Miller, S.P.

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:

2002

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.