DocumentCode :
2488719
Title :
Software safety analysis of a flight guidance system
Author :
Tribble, A.C. ; Miller, Stephan P.
Author_Institution :
Rockwell Collins, Cedar Rapids, IA, USA
Volume :
2
fYear :
2002
fDate :
2002
Abstract :
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.
Keywords :
aircraft control; attitude control; control system analysis; control system synthesis; fault trees; program verification; safety-critical software; stability; FHA; FMECA; FTA; aircraft flight control systems; aircraft stability/stabilization; auto-pilots; failure modes/effects/criticality analysis; fault tree analysis; flight characteristics roll/pitch values; flight control laws; flight guidance systems; functional hazard assessment; guidance commands; mode logic flight control law selection; mode logic model software safety analysis; model checking; software formal verification methods; Aerospace control; Aerospace electronics; Aircraft; Control systems; Fault diagnosis; Hazards; Logic; Performance analysis; Software safety; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference, 2002. Proceedings. The 21st
Print_ISBN :
0-7803-7367-7
Type :
conf
DOI :
10.1109/DASC.2002.1053007
Filename :
1053007
Link To Document :
بازگشت