DO Qualification Kit 

Supported Standards and Products

The latest version of the following products and features is supported by DO Qualification Kit for use in development processes that are required to comply with the listed standards. Products with tool qualification packages are listed under DO-330 support. Blank boxes indicate that product support for those standards is not applicable.

DO-178C
(Levels A-E)
Airborne Software
DO-278A
(Levels AL1-6)
Ground Software
DO-330
(Levels
A-E)
Tool
Qualification
1
DO-331
(Levels A-E, AL1-6)
Model-Based Design
DO-332
(Levels A-E, AL1-6)
Object Oriented Technologies
DO-333
(Levels A-E, AL1-6)
Formal
Methods
Embedded Coder (C and C++ code generation) Check Check See below 2 Check Check
Simulink Code Inspector (traceability and verification analysis reports) Check Check Check Check
Simulink Design Verifier (Design error detection, test case generation, property proving) Check Check See below 3 Check Check
Simulink Report Generator (System Design Description) Check Check Check Check
Simulink Verification and Validation (DO-178 Checks and Model Coverage Tool) Check Check Check Check
SystemTest (Limit Check Element) Check Check Check Check
Polyspace Bug Finder Check Check Check Check Check Check
Polyspace Code Prover Check Check Check Check Check Check
  • 1 Use of DO-178–qualified tools does not ensure the safety of the software or the system under consideration.
  • 2 Simulink Code Inspector and Polyspace product qualifications enable the same certification credits as qualified coder products.
  • 3 The Model Coverage Tool in Simulink Verification and Validation enables the same certification credits as qualified test case generation and execution products.