Продукты, поддержанные DO Qualification Kit

Следующая таблица идентифицирует продукты, которые поддерживаются в DO Qualification Kit. Можно использовать информацию в таблице, чтобы определить продукты и стандарты, которые поддерживаются для каждого релиза.

Поддержка DO Qualification Kit стандартов

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