Можно квалифицировать генерацию кода 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, которые пригодны для использования в процессах разработки, которые должны выполнить IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128, EN 50657 и стандарты MISRA.
Проверки IEC Certification Kit
Model Advisor проверяет на IEC Certification Kit.
Проверки отчета об ошибках IEC Certification Kit
Model Advisor проверяет на отчеты об ошибках IEC Certification Kit.
Выполните тесты инструмента и процедуры
Можно использовать тесты и процедуры, чтобы автоматизировать валидацию инструментов.
