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