This research was undertaken to provide NASA with a survey of state-of-the-art techniques using in industrial and academia to provide safe, reliable, and maintainable software to drive large systems. Such systems must match the complexity and strict safety requirements of NASA's shuttle system. In particular, the Launch Processing System (LPS) is being considered for replacement. The LPS is responsible for monitoring and commanding the shuttle during test, repair, and launch phases. NASA built this system in the 1970's using mostly hardware techniques to provide for increased reliability, but it did so often using custom-built equipment, which has not been able to keep up with current technologies. This report surveys the major techniques used in industry and academia to ensure reliability in large and critical computer systems.
Software Reliability Issues Concerning Large and Safety Critical Software Systems
1996-07-19
Conference paper
No indication
English
Reliability modeling for safety-critical software
Tema Archive | 1997
|SYSTEMS & SOFTWARE - Safety-critical software for aerospace systems.
Online Contents | 2004
Issues on Software Testing for Safety-Critical Real-Time Automation Systems
British Library Conference Proceedings | 2004
|Testing the Reliability of Component-Based Safety Critical Software
British Library Conference Proceedings | 2002
|