Software safety analysis of a flight management system vertical navigation function - A status report

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2003, Pages

  Tribble, Alan C ^a   Miller, Steven P ^a  

^a ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; FAULT TREE ANALYSIS; HAZARDS; NAVIGATION; SOFTWARE ENGINEERING;

FLIGHT GUIDANCE SYSTEM; FLIGHT MANAGEMENT SYSTEMS; HAZARD ASSESSMENT; SOFTWARE SAFETY ANALYSIS;

FLIGHT DYNAMICS;

EID: 0344551231     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. ARINC 702A-1, Advanced Flight Management System Computer, 31 January 2000.
2. Tribble, A. C., D. L. Lempia, and S. P. Miller, "Software Safety Analysis of a Flight Guidance System," Proc. of 21st Digital Avionics Systems Conference (DASC), 2002.
3. Whalen, M. W., A Formal Semantics for RSML, Masters Thesis, University of Minnesota, April 2000.
4. Lutz, R. and R. Woodhouse, "Bi-Directional Analysis for Certification of Safety-Critical Software," Proc. of 1st Int'l Software Assurance Certification Conf.," 1999.
5. ARP 4754, "Certification Considerations for Highly-Integrated or Complex Aircraft Systems," SAE International, November 1996.
6. ARP 4761, "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment," SAE International, December 1996.
7. RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, 01 Dec 1992.
8. MIL STD 882C, System Safety Program Requirements, 19 January 1993.
9. Herrmann, D. S., Software Safety and Reliability, (Los Alamitos, CA: IEEE Computer Society, 1999).
10. System Safety Analysis Handbook, 2nd Ed., System Safety Society, July 1997.