bannerd

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

idtabs-4

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

...

  1. of requirements for safety-critical systems
  2. aid in selecting operating systems and Commercial-Off-The-Shelf (COTS) softwareand
  3. 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

SWEHBVD:

6.1 - Design for Safety Checklist

SWEHBVD:

6.1 - Design for Safety Checklist
nopaneltrue

Table Cell (td)

6.2 -

 Checklist

 Checklist for General

Software

Software Safety Requirements

Excerpt Include

SWEHBVD:

6.2 - Checklist for General Software Safety Requirements

SWEHBVD:

6.2 - Checklist for General Software Safety Requirements
nopaneltrue

Table Row (tr)
Table Cell (td)

6.3 -

 Checklist

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

Excerpt Include

SWEHBVD:

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

SWEHBVD:

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
SWEHBVD:
6.4 - Checklist for Choosing Off-The Shelf Software (OTS)
SWEHBVD:
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

SWEHBVD:

6.5 - Checklist for C Programming Practices

SWEHBVD:

6.5 - Checklist for C Programming Practices
nopaneltrue

Table Cell (td)

6.6 - Checklist for C++ Programming Practices – 

Excerpt Include

SWEHBVD:

6.6 - Checklist for C++ Programming Practices

SWEHBVD:

6.6 - Checklist for C++ Programming Practices
nopaneltrue

Table Row (tr)
Table Cell (td)

6.7 - Checklist for Ada Programming Practices

Excerpt Include

SWEHBVD:

6.7 - Checklist for Ada Programming Practices

SWEHBVD:

6.7 - Checklist for Ada Programming Practices
nopaneltrue

Table Cell (td)
6.8 - Checklist for Fortran Programming Practices
Excerpt Include
SWEHBVD:
6.8 - Checklist for Fortran Programming Practices
SWEHBVD:
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

SWEHBVD:

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

SWEHBVD:

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

Table Cell (td)

6.10 - Checklist for General Good Programming Practices

Excerpt Include

SWEHBVD:

6.10 - Checklist for General Good Programming Practices

SWEHBVD:

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
SWEHBVD:
6.11 - Examples of Programming Practices for Exception Handling
SWEHBVD:
6.11 - Examples of Programming Practices for Exception Handling
nopaneltrue
Table Cell (td)

6.12 - Reserved for next checklist 

Table Row (tr)
Table Cell (td)

8.27 - Software Engineering and Software Assurance Checklists -

Excerpt Include
8.27 - Software Engineering and Software Assurance Checklists
8.27 - Software Engineering and Software Assurance Checklists
nopaneltrue

Table Cell (td)