NASA's Mission Reliable

Authors:
Patrick Regan;Scott Hamilton
Affiliations:
-;-
Venue:
Computer
Year:
2004

Citing 3
Cited 2

Model Checking Programs

Automated Software Engineering
Monitoring Java Programs with Java PathExplorer

Monitoring Java Programs with Java PathExplorer
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Software health management: a necessity for safety critical systems

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	4.10

Visualization

Abstract

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.