Компания MathWorks провела классификацию и предварительную квалификацию возможностей автоматической генерации тестовых примеров в Simulink Design Verifier и возможностей измерения покрытия модели в Simulink Verification and Validation в соответствии с последней версией ISO 26262-8. Впоследствии TÜV SÜD оценила результаты классификации и предварительной квалификации. Для дальнейшей помощи автомобильным инженерам в использовании ранней верификации и валидации для проектирования на основе моделей, MathWorks расширила свой комплект сертификации IEC, добавив доказательства сертификации, эталонные рабочие процессы и шаблоны артефактов для квалификации инструментов ISO 26262 для Simulink Design Verifier и Simulink Verification and Validation. Благодаря этим дополнениям, комплект сертификации IEC расширяет поддержку квалификации инструментов ISO 26262 для продуктов проектирования и верификации на основе моделей, которая уже включает в себя верификаторы кода Embedded Coder и Polyspace.
Для поддержки дополнительных мероприятий, охватываемых стандартом функциональной безопасности ISO 26262, компания MathWorks продолжает тесно сотрудничать с партнерами, предлагающими дополнительные технологии. Например, инструмент анализа функциональной безопасности medini analyze, предлагаемый компанией ikv++ technologies AG, может использоваться для автоматизации определения и декомпозиции ASIL (уровня целостности автомобильной безопасности), а также для детального анализа безопасности, требуемого стандартом ISO 26262 при разработке высоконадежных систем с использованием Simulink.
