Можно квалифицировать генерацию кода 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
Задает Высокую Целостность и руководства по моделированию MAB, которые сопоставляют со стандартами ISO 26262-6.
Аннотации стандартов ISO 26262
Предоставляет высокоуровневую информацию об использовании стандартов, включая применимо основанных на требованиях, на основе содержимого на Автомобильном уровне целостности безопасности (ASIL) проекта.
Квалифицированные проверки Model Advisor
Идентифицирует проверки Model Advisor, которые пригодны для использования в процессах разработки, которые должны выполнить 26262-6:2018 ISO, 61508-3:2010 IEC, IEC 62304:2015, ISO 25119:2018, EN 50128:2011, EN 50657:2017, и стандарты MISRA C:2012.
Проверки IEC Certification Kit
Model Advisor проверяет на IEC Certification Kit.
Выполните тесты инструмента и процедуры
Можно использовать тесты и процедуры, чтобы автоматизировать валидацию инструментов.