All checklists in the 6.xx series will be converted to the PAT format for consistency. The 6.xx numbering will be retired after the conversion is complete and the new Topics page is published.
This tab contains PAT (Process Asset Templates) checklists that can be used by software engineering personnel as well as software assurance and safety personnel. This collection contains checklists to:
- aid in designing safety-critical modules,
- aid in the development of requirements for safety-critical systems,
- aid in selecting operating systems and Commercial-Off-The-Shelf (COTS) software, and
- focus on programming practices for specific languages as well as general programming practices.
These checklists can be used by developers as guidance for coding or for peer review checklists as well as by assurance and safety personnel to check that best practices have been followed. Although many of these checklists are designed for use with safety-critical software, a majority of the practices are applicable for all software.
PAT-006 - Design Practices for Safety - Derived from a paper given at a talk to the Forth Interest Group (UK) in London during May 1992. Paul E. Bennett. Updated by NASA Software Safety Guidebook Team, 10/21/2020. (Formerly 6.1 - Design for Safety Checklist) |
PAT-007 - Checklist for General Software Safety Requirements - General Software Safety Requirements, Combined list was generated from appendices in NASA Safety Guidebook (NASA-GB-8719.13). Updated by NASA Software Safety Guidebook Team in 2/2021 (Formerly 6.2 - Checklist for General Software Safety Requirements) |
6.3 - Checklist for Choosing a Real Time Operating System (RTOS) - Considerations for choosing the best RTOS for your application. |
6.4 - Checklist for Choosing Off-The Shelf Software (OTS) - Checklist for Choosing Off-The Shelf Software (OTS) – Provides many questions to answer before choosing a COTS product that will be used across the project life cycle. |
6.5 - Checklist for C Programming Practices – Good practices to follow when coding in C for safety-critical software. |
6.6 - Checklist for C++ Programming Practices – Good practices to follow when coding in C++ for safety-critical software. |
6.7 - Checklist for Ada Programming Practices - Common errors to look for when coding in Ada. |
6.8 - Checklist for Fortran Programming Practices - Points out a number of common problems to avoid when coding in Fortran. |
6.9 - Checklist for Generic (Non-Language-Specific) Programming Practices - Practices that should be considered when coding safety-critical software in any language. |
6.10 - Checklist for General Good Programming Practices - Contains a number of practices and activities that can improve the quality of the software. |
| 6.11 - Examples of Programming Practices for Exception Handling - Shows some good and bad examples of exception handling when coding safety-critical software. | 6.12 - Reserved for next checklist - |
