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

DO-254
(Levels A-E)

Airborne Electronic Hardware

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 Test™    

Polyspace Bug Finder™    
Polyspace Bug Finder™ Server™





   
Polyspace Code Prover™  
Polyspace Code Prover™ Server™






 
Simulink Check™




   
Simulink Coverage™ (Model Coverage and Generated Code Coverage)



   

(Model Coverage only)

Simulink Requirements™





   

HDL Coder™® (VHDL and Verilog code generation)

           

See below 4

HDL Verifier™

           

See below 4

  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 Coverage enables the same certification credits as qualified test case generation and execution products.
  4. HDL Coder is not qualified; therefore, the code must be manually reviewed.
  5. HDL Verifier is not qualified, but the output of that tool can be verified by Simulink Test, which is qualified.