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