Вы можете проверить генерацию кода MathWorks и инструменты верификации для ISO 26262, IEC 61508 и связанных стандартов. Этот IEC Certification Kit включает тесты и процедуры, которые можно использовать для автоматической валидации инструмента. Можно использовать руководства по моделированию и квалифицированные проверки Model Advisor, чтобы проверить податливость вашей модели стандартам ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 и MISRA C:2012.
Руководства по моделированию для ISO 26262-6: 2018
Определяет руководства по моделированию High-Integrity и MAB, которые соответствуют стандартам 26262-6 ISO.
Аннотации стандартов ISO 26262
Предоставляет высокоуровневую информацию об использовании стандартов, включая применимое основанное на требованиях содержимое, основанное на уровне целостности безопасности автомобиля (ASIL) проекта.
Проверки квалифицированного Model Advisor
Определяет проверки Model Advisor, которые квалифицированы для использования в процессах разработки, которые должны соответствовать ISO 26262-6: 2018, IEC 61508-3: 2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011, EN 50657:2017 и стандартам C:2012 MISRA.
IEC Certification Kit проверки
Model Advisor проверяет наличие IEC Certification Kit.
Выполнение Тестов и процедур инструмента
Можно использовать тесты и процедуры для автоматизации валидации инструментов.
