NASA Software Safety Guidebook

This NASA Software Safety Guidebook was prepared by the NASA Glenn Research Center, Safety and Assurance Directorate, under a Center Software Initiative Proposal (CSIP) task for the National Aeronautics and Space Administration.
NASA-STD-8719.13A, “NASA Software Safety Standard,” [1] prepared by NASA Headquarters addresses the “who, what, when and why” of software safety analyses. This Software Safety Guidebook addresses the “how to.” Section 1.5 provides a roadmap to using this guidebook. The roadmap describes the information in each chapter and shows software developers, project managers, software assurance personnel, system engineers, and safety engineers which sections are relevant for their disciplines.

Scope:

The focus of this document is on analysis, development, and assurance of safety-critical software, including firmware (e.g. software residing in non-volatile memory, such as ROM, EPROM, EEPROM, or flash memory) and programmable logic. This document also discusses issues with contractor-developed software. It provides guidance on how to address creation and assurance of safety-critical software within the overall software development, management, risk management, and assurance activities. Techniques and analyses are described in varying levels of detail throughout the guidebook, depending on the amount of information available. For techniques or analyses are that are new, the guidebook attempts to give a flavor of the technique or procedure and provides sources for more information. Opinions differ widely concerning the validity of some of the various techniques, and this guidebook attempts to present these opinions without prejudging their validity. In most cases, there are few or no metrics as of yet, to quantitatively evaluate or compare the techniques. This guidebook addresses the value added versus cost of each technique with respect to the overall software development and assurance goals. Without strong metrics, such evaluations are somewhat subjective and should not be taken as the definitive answer. Each technique or analysis should be considered in the context of the specific project.

This guidebook is meant to be more than just a collection of development techniques and analyses.The goal is to encourage the reader to think about software with “an eye for safety.” Some familiarity with the NASA methodologies for system safety analysis and software development will assist in following this guidebook, though no experience with either is assumed or required. Acronyms and definitions of terminology used in this guidebook are contained in Appendix B.