This tab contains checklists that can be used by software engineering personnel as well as software assurance and safety personnel. This collection contains checklists to:

  1. aid in designing safety-critical modules,
  2. aid in the development of requirements for safety-critical systems, 
  3. aid in selecting operating systems and Commercial-Off-The-Shelf (COTS) software,  and
  4. 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.

6.1 - Design for Safety Checklist  - 

6.2 - Checklist for General Software Safety Requirements - 

6.3 - Checklist for Choosing a Real Time Operating System (RTOS)  - 

6.4 - Checklist for Choosing Off-The Shelf Software (OTS) - 

6.5 - Checklist for C Programming Practices –

6.6 - Checklist for C++ Programming Practices – 

6.7 - Checklist for Ada Programming Practices - 

6.8 - Checklist for Fortran Programming Practices - 

6.9 - Checklist for Generic (Non-Language-Specific) Programming Practices -  

6.10 - Checklist for General Good Programming Practices - 

  

6.11 - Examples of Programming Practices for Exception Handling - 

6.12 - Reserved for next checklist -