Можно использовать IEC Certification Kit (for ISO 26262 and IEC 61508), чтобы квалифицировать Simulink Design Verifier к поддерживаемым промышленным стандартам, включая IEC 61508 и ISO 26262.
Артефакты сертификации для Simulink Design Verifier (IEC Certification Kit)
Артефакты сертификации включают шаблоны, тесты и процедуры тестирования.