This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
NASA's Mission Reliable
January 2004 (vol. 37 no. 1)
pp. 59-68
Patrick Regan, New Jersey Network Public Television and Radio
Scott Hamilton, Computer

Both predictable and unpredictable hazards await the spacecraft, robots, and scientific instruments that humans dispatch to explore our solar system. The toughest hazard may be the known presence of unknown bugs in even rigorously tested software.

By exploring new technologies and approaches to develop provably reliable software within tough constraints, NASA has a chance to advance the state of the art, contributing to computer science aswell as software engineering. In addition, any successful spin-off that improves reliability while cutting development time and costs could, in principle, generate savings for US industry equal to the nation's budget for space exploration.

Citation:
Patrick Regan, Scott Hamilton, "NASA's Mission Reliable," Computer, vol. 37, no. 1, pp. 59-68, Jan. 2004, doi:10.1109/MC.2004.1260727
Usage of this product signifies your acceptance of the Terms of Use.