This tab contains checklists that can be used by both software engineering personnel as well as software assurance and safety personnel. The collection of checklists 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  - Lists some key practices for software design, particularly when designing safety-critical software.

6.2 - Checklist for General Software Safety Requirements Provides a list of many of the requirements that should be included in a safety critical software system.

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 PracticesCommon errors to look for when coding in Ada.

6.8 - Checklist for Fortran Programming PracticesPoints 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 PracticesContains a number of practices and activities that can improve the quality of the software.

6.11 - Examples of Programming Practices for Exception HandlingShows some good and bad examples of exception handling when coding safety- critical software. 

6.12 - Reserved for next checklist 

  • No labels