Можно использовать IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit, чтобы квалифицировать Simulink Design Verifier к поддерживаемым промышленным стандартам, включая DO-178, ISO 26262: 2018, IEC 61508: 2010, IEC 62304: 2015, ISO 25119: 2018, и EN 50128: 2011.
Артефакты сертификации инструмента (IEC Certification Kit)
Артефакты сертификации включают специфичные для продукта шаблоны, тесты и процедуры тестирования.
Обзор рабочего процесса Simulink Design Verifier (IEC Certification Kit)
Рабочий процесс Simulink Design Verifier описывает интегрирование Simulink Design Verifier в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.