NASA GB 8719.13 : 0

Preface
Forward
Chapter 1 Introduction
 1.1 Scope
 1.2 Purpose
 1.3 Acknowledgements
 1.4 Associated Documents
 1.5 Roadmap of this Guidebook
Chapter 2 Software and System Safety
 2.1 Hazardous and Safety-critical Software
 2.2 The System Safety Program
 2.3 Safety Requirements and (PHA)
Chapter 3 Software Safety Planning
 3.1 Scoping the Software for the Safety Effort
 3.2 Tailoring the Software Safety Effort
Chapter 4 Safety-Critical Software Development
 4.1 Crafting Safer Software
 4.2 The Software Development Process
 4.3 Managing the Process
 4.4 Tailoring your process
 4.5 Software Configuration Management
 4.6 Good Programming Practices for Safety
Chapter 5 System and Software Concept Stage
 5.1 Tasks and Analyses
 5.2 Documentation and Milestones
 5.3 Tailoring Guidelines
 5.3 Tailoring Guidelines
 5.4 Independent Verification and Validation
 5.5 Safety Analyses
Chapter 6 Software Requirements
 6.1 Tasks and Analyses
 6.2 Documentation and Milestones
 6.3 Tailoring Guidelines
 6.4 Requirements Management
 6.5 Development of Software Safety Requirements
 6.6 Software Safety Requirements Analysis
Chapter 7 Software Design
 7.1 Tasks and Analyses
 7.2 Documentation and Milestones
 7.3 Tailoring Guidelines
 7.4 Design of Safety-Critical Software
 7.5 Design Analysis
Chapter 8 Implementation
 8.1 Tasks and Analyses
 8.2 Documentation and Milestones
 8.3 Tailoring Guidelines
 8.4 Software Development Techniques
 8.5 Code Analyses
Chapter 9 Testing
 9.1 Tasks and Analyses Milestones
 9.2 Documentation and Guidelines
 9.3 Tailoring Test
 9.4 Software Integration and Test
 9.5 Test Analysis
Chapter 10 Operations and Maintenance
 10.1 Tasks and Analyses
 10.2 Documentation and Milestones
 10.3 Tailoring Guidelines
 10.4 Software Acceptance and Delivery
 10.5 Software Operations and Maintenance
Chapter 11 Software Development Issues
 11.1 Programming Languages
 11.2 Compilers, Editors, Debuggers, IDEs and other Tools
 11.3 CASE tools and Automatic Code Generation
 11.4 Operating Systems
 11.5 Distributed Computing
 11.6 Programmable Logic Devices
 11.7 Embedded Web Technology
 11.8 AI and Autonomous Systems
 11.9 Human Factors in Software Safety
Chapter 12 Software Acquisition
 12.1 Off-the-Shelf Software
 12.2 Contractor-developed Software
Chapter 13 Looking Ahead
Appendix A References and Information
 A.1 References
 A.2 Information
Appendix B Glossary and Acronyms
 B.1 Glossary of Terms
 B.2 Acronyms
Appendix C Software Fault Tree Analysis (SFTA)
 C.1 Software Fault Tree Analysis Description
 C.2 Goal of Software Fault Tree Analysis
 C.3 Use of Software Fault Tree Analysis
 C.4 Benefits Of Software Fault Tree Analysis
Appendix D Software Failure Modes and Effects Analysis
 D.1 Terminology
 D.2 Why do an SFMEA?
 D.3 Issues with SFMEA
 D.4 The SFMEA Process
APPENDIX E Requirements State Machines
 E.1 Characteristics of State Machines
 E.2 Properties of Safe State Machines
 E.3 Input/Output Variables
 E.4 State Attributes
 E.5 Trigger Predicates
 E.6 Output Predicates
 E.7 Degraded Mode Operation
 E.8 Feedback Loop Analysis
 E.9 Transition Characteristics
 E.10 Conclusions
Appendix F Preliminary Hazard Analysis (PHA)
 F.1 PHA Approach
 F.2 Identifying Hazards
 F.3 Preliminary Hazard Analysis (PHA) Process
 F.4 Tools and Methods for PHA
 F.5 PHA is a Living Document
Appendix G Reliability Modeling
 G.1 Criteria for Selecting a Reliability Model
 G.2 Issues and Concerns
 G.3 Tools
 G.4 Dissenting Views
 G.5 Resources
Appendix H Checklists
 H.1 Checklist 1 for Off-the-Shelf (OTS) Items
 H.2 Checklist 2 for Off-the-Shelf (OTS) Items
 H.3 Generic Software Safety Requirements From MSFC
 H.4 Design for Safety practices Checklist
 H.5 Checklist of generic (language independent) programming
       practices
 H.6 Checklist of assembly programming practices for
       safety
 H.7 Checklist of Ada programming practices for safety
 H.8 Checklist of C programming practices for safety
 H.9 Checklist of C++ programming practices for safety
 H.10 Checklist of Fortran programming practices for safety
 H.11 Checklist of Pascal programming practices for safety
 H.12 Checklist for Visual Basic
 H.13 Checklist for selecting an RTOS
 H.14 Good Programming Practices Checklist

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.