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 - R2024bYesYes
Simulink Coverage™ R2017b - R2024bYesYes
Requirements Toolbox™ R2019a -R2024bYesYes
Simulink Report Generator™ R2010b - R2024bYesYes
Simulink Model ComparisonR2017b - R2024bYesYes
Simulink Design Verifier™ R2017a - R2024bYesYes
Simulink Test™ R2015b - R2024bYesYes
Simulink Code Inspector™ R2012a - R2024bYes-
Polyspace® Bug Finder™ R2013b - R2024bYes-
Polyspace Bug Finder Server™ R2019a - R2024bYes-
Polyspace Code Prover™ R2013b - R2024bYes-
Polyspace Code Prover Server R2019a - R2024bYes-
Polyspace TestR2023b - R2024bYes-
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