Software safety analysis of a Flight Guidance System

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2002, Pages

  Tribble, Alan C ^a   Lempia, David L ^a   Miller, Steven P ^a   Collins, Rockwell ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; FAULT TREE ANALYSIS;

FLIGHT GUIDANCE SYSTEMS;

FLIGHT DYNAMICS;

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

References (13)

1. IEEE Std. 610.12-1990, Standard Glossary of Software Engineering Terminology.
2. D.S. Herrmann, Software Safety and Reliability, (Los Alamitos, CA: IEEE Computer Society, 1999).
3. E.O. Clarke, O. Grumberg and D. Peled, Model Checking, (Cambridge, MA: MIT Press, 2000).
4. R.W. Butler, "An Elementary Tutorial on Formal Specification and Verification Using PVS, NASA TM 108991, September 1993.
5. M.W. Whalen, A Formal Semantics for RSML, Masters Thesis, University of Minnesota, April 2000.
6. R. Lutz and R. Woodhouse, "Requirements Analysis Using Forward and Backward Search," Annals of Software Engineering, Vol. 3, pp. 459- 475, 1997.
7. st Int'l Software Assurance Certification Conf.," 1999.
8. ARP 4754, "Certification Considerations for Highly-Integrated or Complex Aircraft Systems," SAE International, November 1996.
9. ARP 4761, "Guidelines anal Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment," SAE International, December 1996.
10. RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, 01 DEC 1992.
11. MIL STD 882C, System Safety Program Requirements, 19 January 1993.
12. System Safety Analysis Handbook, 2nd Ed., System Safety Society, July 1997.
13. C. Tribble, "Software Safety," IEEE Software, pp. 84-85, June-July, 2002.