Software challenges in achieving space safety

JBIS - Journal of the British Interplanetary Society

Volumn 62, Issue 7-8, 2009, Pages 265-272

  Leveson, Nancyg ^a  

^a Massachusetts Institute of Technology Cambridge   (United States)

Author keywords

Reliability engineering analysis; Safety driven design; Software safety; Spacecraft safety; Spacecraft software engineering; STAMP; System and control theory

Indexed keywords

ENGINEERING TECHNIQUES; HARDWARE RELIABILITY; HAZARD ANALYSIS; RELIABILITY ENGINEERING; SOFTWARE CHALLENGES; SOFTWARE INTENSIVE SYSTEMS; SOFTWARE SAFETY; SPACECRAFT SAFETY;

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTROL THEORY; SAFETY ENGINEERING; SOFTWARE ENGINEERING; STAMPING;

SOFTWARE RELIABILITY;

EID: 76349102768     PISSN: 0007084X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. T. Young, "Mars Program Independent Assessment Team Report", NASA, 14 March, 2000.
2. JPL Special Review Board, "Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions", NASA Jet Propulsion Laboratory, 22 March 2000.
3. A. Stephenson, "Mars Climate Orbiter: Mishap Investigation Board Report", NASA, November 10, 1999.
4. E.E. Euler, S.D. Jolly and H.H. Curtis, "The Failures of the Mars Climate Orbiter and Mars Polar Lander: A Perspective from the People Involved", AAS Guidance and Control Conference, Colarado, USA. 31 January-4 February 2001. Paper AAS 01-074.
5. Dolly Perkins, "NASA Internal Review Board Report on Mars Global Surveyor (MGS) Spacecraft Loss of Contact", 13 April 2007.
6. J.G. Pavlovich, "Formal Report of Investigation of the 30 April 1999 Titan IV B/Centaur TC-l4/Milstar-3 (B-32) Space Launch Mishap", U.S. Air Force, 1999.
7. NASA/ESA Investigation Board, "SOHO Mission Interruption", NASA, 31 August 1998
8. J.L. Lions, "Ariane 501 Failure: Report by the Inquiry Board," European Space Agency, 19 July 1996.
9. D.C.R. Link, "Report of the Huygens Communications System Inquiry Board," NASA, December 2000.
10. 10. U.S. Department of Defense, "Standard Practice for System Safety: MlL-STD-882D", February 2000.
11. NASA, "NRP 8715.3: General Program Safety Requirements", 17 April 2009.
12. F.R. Frola and C.O. Miller, "System Safety in Aircraft Acquisition", Logistics Management Institute, Washington D.C., January 1984.
13. Nancy G. Leveson, "The Role of Software in Spacecraft Accidents", Journal of Spacecraft and Rockets, 41, pp.564-575, 2004.
14. J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming", IEEE Transactions on Software Engineering, 12, pp.96-109, 1986.
15. D.F. Eckhardt and L.D. Lee, "A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors", IEEE Trans. on Software Engineering, 11, pp.1511 -1516, 1985.
16. J.C. Knight and N.G Leveson, "A Reply to the Criticisms of the Knight and Leveson Experiment", ACM Software Engineering Notes, ;15, January 1990.
17. D.A Mackall, "Development and Flight Test Experiences with a FlightCritical Digital Control System", NASA Technical Paper 2857, Dryden Flight Research Facility, November 1988.
18. N.G. Leveson. "Safeware: System Safety and Computers", Addison Wesley, Boston, 1985.
19. N.G. Leveson, M.P.E. Heimdahl, H. Hildrcth and J.D. Reese, "Requirements Specification for Process-Control Systems", IEEE Transactions on Software Engineering, 20, pp.684-707, 1994.
20. N.G. Leveson, "Engineering a Safer World: Applying Systems Thinking to Safety", Expected, MIT Press, 2010. Draft copy available at http://sunnyday.mit.edu/book2.pdf.
21. 21. N.G. Leveson, A New Accident Model for Engineering Safer Systems", Safety Science, 42, pp.237-270, 2004. (Pubitemid 38258330)
22. Margaret V. Stringfellow, "Safety-Driven System Engineering Process", S.M. Thesis, Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, 2008.
23. Brandon Owens, Margaret Herring, Nancy Leveson, Michel Ingham, Kathryn Weiss, "Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission", 2008 IEEE Aerospace Conference, Big Sky, Montana, March 2008.
24. Steven J. Pereira, Grady Lee, and Jeffrey Howard. "A System-Theoretic Hazard Analysis Methodology for a Non-advocate Safety Assessment of the Ballistic Missile Defense System", Proceedings of the 2006 AIAA Missile Sciences Conference, Monterey, California, November 2006.
25. R.R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems", Proceedings of the International Conference on Software Requirements, pp.53-65, January 1992.
26. J. Oberg, "Why the Mars Probe Went Off Course", IEEE Spectrum Magazine, 36, pp.34-39, 1999.
27. Bureau of Air Safety Investigation, "Advanced Technology Aircraft Safety Survey Report", Department of Transport and Regional Development, Australia, June 1996.