bannerc

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Div
idtabs-4

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.

HTML Table
width100%
classtopics
Table Body (tbody)
Table Row (tr)
Table Cell (td)

6.1 - Design Practices for Safety   Checklist  - 

Excerpt Include
6.1 - Design for Safety Checklist
6.1 - Design for Safety Checklist
nopaneltrue

Table Cell (td)

6.2 - Checklist for General Software Safety Requirements

Excerpt Include
6.2 - Checklist for General Software Safety Requirements
6.2 - Checklist for General Software Safety Requirements
nopaneltrue

Table Row (tr)
Table Cell (td)

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

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

Table Cell (td)
6.4 - Checklist for Choosing Off-The Shelf Software (OTS)
Excerpt Include
6.4 - Checklist for Choosing Off-The Shelf Software (OTS)
6.4 - Checklist for Choosing Off-The Shelf Software (OTS)
nopaneltrue
Table Row (tr)
Table Cell (td)

6.5 - Checklist for C Programming Practices

Excerpt Include
6.5 - Checklist for C Programming Practices
6.5 - Checklist for C Programming Practices
nopaneltrue

Table Cell (td)

6.6 - Checklist for C++ Programming Practices – 

Excerpt Include
6.6 - Checklist for C++ Programming Practices
6.6 - Checklist for C++ Programming Practices
nopaneltrue

Table Row (tr)
Table Cell (td)

6.7 - Checklist for Ada Programming Practices

Excerpt Include
6.7 - Checklist for Ada Programming Practices
6.7 - Checklist for Ada Programming Practices
nopaneltrue

Table Cell (td)
6.8 - Checklist for Fortran Programming Practices
Excerpt Include
6.8 - Checklist for Fortran Programming Practices
6.8 - Checklist for Fortran Programming Practices
nopaneltrue
Table Row (tr)
Table Cell (td)

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

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

Table Cell (td)

6.10 - Checklist for General Good Programming Practices

Excerpt Include
6.10 - Checklist for General Good Programming Practices
6.10 - Checklist for General Good Programming Practices
nopaneltrue

Table Row (tr)

  

Table Cell (td)
6.11 - Examples of Programming Practices for Exception Handling
Excerpt Include
6.11 - Examples of Programming Practices for Exception Handling
6.11 - Examples of Programming Practices for Exception Handling
nopaneltrue
Table Cell (td)

6.12 - Reserved for next checklist