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