Products Supported by DO Qualification Kit
R2026bThe 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 Product | Product Release | DO-178C Verification Tool | DO-254 Verification Tool |
|---|---|---|---|
| Simulink® Check™ | R2017b - R2026b | Yes | Yes |
| Simulink Coverage™ | R2017b - R2026b | Yes | Yes |
| Requirements Toolbox™ | R2019a - R2026b | Yes | Yes |
| Simulink Report Generator™ | R2010b - R2026b | Yes | Yes |
| Simulink Model Comparison | R2017b - R2026b | Yes | Yes |
| Simulink Design Verifier™ | R2017a - R2026b | Yes | Yes |
| Simulink Test™ | R2015b - R2026b | Yes | Yes |
| Simulink Code Inspector™ | R2012a - R2026b | Yes | - |
| Polyspace® Bug Finder™ | R2013b - R2026b | Yes | - |
| Polyspace Bug Finder Server™ | R2019a - R2026b | Yes | - |
| Polyspace Code Prover™ | R2013b - R2026b | Yes | - |
| Polyspace Code Prover Server | R2019a - R2026b | Yes | - |
| Polyspace Test | R2023b - R2026b | Yes | - |
| Polyspace Test Server | R2026b | Yes | - |
| Polyspace Client™ for C/C++ and Polyspace Server for C/C++ | R2009a+ - R2013a | Yes | - |
| SystemTest™ | R2009a+ - R2015a | Yes | - |
| Simulink Verification and Validation™ | R2009a+ - R2017a | Yes | - |
| Simulink Requirements™ | R2019a - R2021b | Yes | Yes |
