NASA software safety requirements are documented in NPR 7150.2
, and elaborated in the Software Assurance and Software Safety Standard, NASA-STD-8739.8A
Design features are a small but important part of an overall software safety implementation. The driving requirement in this area is NPR 7150.2C, requirement SWE-134. The design principles that support specific provisions of SWE-134 are shown in the table below. A verified application of the NASA software design principles can help form the basis for demonstrating compliance with SWE-134.
Applicable Design Principle
a. The software is initialized, at first start and restarts, to a known safe state.