Main Content

Products Supported by DO Qualification Kit

The following table identifies the products that are supported in the DO Qualification Kit. You can use the information in the table to determine the products and standards that are supported for each release.

DO Qualification Kit Support for Standards

Supported ProductProduct ReleaseDO-178C Verification ToolDO-254 Verification Tool
Simulink® Check™ R2017b - R2022aYesYes
Simulink Coverage™ R2017b - R2022aYesYes
Requirements Toolbox™ R2019a -R2022aYesYes
Simulink Report Generator™ R2010b - R2022aYesYes
Simulink Model ComparisonR2017b - R2022aYesYes
Simulink Design Verifier™ R2017a - R2022aYes-
Simulink Test™ R2015b - R2022aYesYes
Simulink Code Inspector™ R2012a - R2022aYes-
Polyspace® Bug Finder™ R2013b - R2022aYes-
Polyspace Bug Finder Server™ R2019a - R2022aYes-
Polyspace Code Prover™ R2013b - R2022aYes-
Polyspace Code Prover Server R2019a - R2022aYes-
Polyspace Client™ for C/C++ and Polyspace Server for C/C++R2009a+ - R2013aYes-
SystemTest™ R2009a+ - R2015aYes-
Simulink Verification and Validation™ R2009a+ - R2017aYes-
Simulink Requirements™R2019a -R2021bYesYes