loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02)
Mars Polar Lander Fault Identification Using Model-based Testing
Greenbelt, Maryland
December 02-December 04
ISBN: 0-7695-1757-9
Mark Blackburn, Software Productivity Consortium
Robert Busser, Software Productivity Consortium
Aaron Nauman, Software Productivity Consortium
Robert Knickerbocker, Lockheed Martin Space Systems Company
Richard Kasuda, Lockheed Martin Space Systems Company
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft is believed to be the most likely cause for the mission failure. It is believed that the engine shutdown occurred when the three landing legs were extended into their deployed position. This event created an unanticipated transient touchdown indication from the legs, causing the software to inadvertently shutdown the descent engines prior to reaching the surface of Mars. This spurious indication should have been ignored by the Touchdown Monitor (TDM) software, but due to a design flaw, was actually stored in program variable thus causing the premature engine shutdown. The TAF approach was used to model the TDM software requirements. The associated TAF tools generated tests that identified a TDM fault that is the most likely cause of the mission failure.
Citation:
Mark Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda, "Mars Polar Lander Fault Identification Using Model-based Testing," iceccs, pp.163, Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.