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) See below 2  
Simulink Code Inspector™ (traceability and verification analysis reports)    
Simulink Design Verifier™ (Design error detection, test case generation, property proving) See below 3  
Simulink Report Generator™ (System Design Description)    
Simulink Verification and Validation™ (DO-178 Checks and Model Coverage Tool)    
Simulink Test™    
Polyspace Bug Finder™
Polyspace Code Prover™
  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.