В следующей таблице указаны продукты, поддерживаемые в DO Qualification Kit. Можно использовать содержащуюся в таблице информацию для определения продуктов и стандартов, поддерживаемых для каждого релиза.
DO Qualification Kit Поддержка стандартов
| Поддерживаемый продукт | Релиз продукта | DO-178C верификации типа Инструмент» | DO-254 верификации типа Инструмент» |
|---|---|---|---|
| Simulink® Check™ | R2017b - R2021a | Да | Да |
| Функции Simulink Coverage™ | R2017b - R2021a | Да | Да |
| Функции Simulink Requirements™ | R2019a-R2021a | Да | Да |
| Simulink Report Generator™ | R2010b - R2021a | Да | Да |
| Сравнение моделей Simulink | R2017b - R2021a | Да | Да |
| Simulink Design Verifier™ | R2017a - R2021a | Да | - |
| Функции Simulink Test™ | R2015b - R2021a | Да | Да |
| Simulink Code Inspector™ | R2012a - R2021a | Да | - |
| Polyspace® Bug- Finder™ | R2013b - R2021a | Да | - |
| Polyspace Bug Finder Server™ | R2019a - R2021a | Да | - |
| Polyspace Code Prover™ | R2013b - R2021a | Да | - |
| Polyspace Code Prover Server | R2019a - R2021a | Да | - |
| Polyspace Client™ для C/C + + и Polyspace Server для C/C + + | R2009a + - R2013a | Да | - |
| SystemTest™ | R2009a + - R2015a | Да | - |
| Верификация и Validation™ Simulink | R2009a + - R2017a | Да | - |
