NASA GB 8719.13 : 0
Current
The latest, up-to-date edition.
NASA SOFTWARE SAFETY GUIDEBOOK
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
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.