Применение Модельно-ориентированного проектирования к критической по отношению к безопасности системе требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов функциональной безопасности. ISO 26262, Дорожные Автомобили - Функциональная безопасность, является таким стандартом. Для получения дополнительной информации о поддержке MathWorks® ISO 26262, смотрите Поддержку ISO 26262 в MATLAB и Simulink.
MathWorks обеспечивает продукт IEC Certification Kit, который можно использовать, чтобы квалифицировать генерацию кода MathWorks и инструменты верификации для проектов на основе стандарта ISO 26262. Для получения дополнительной информации см. https://www.mathworks.com/products/iso–26262/.
Если у вас есть лицензия на продукты Simulink® Check™, можно проверять, что модель Simulink или подсистема и код, который вы генерируете от него, выполняют выбранные аспекты стандарта ISO 26262 путем выполнения Model Advisor Simulink (Simulink). Перейдите к By Task> Modeling Standards for ISO 26262 и запустите IEC 61508, IEC 62304, ISO 26262 и Проверки EN 50128 (Simulink Check).
Для получения дополнительной информации об использовании Model Advisor смотрите Выбор и Осуществленные Проверки Model Advisor (Simulink).
Как правило, приложения, которые требуют сертификации, требуют некоторого уровня трассируемости между требованиями, моделями и соответствующим кодом.
К... | Использование... |
---|---|
Объединенные документы требований с объектами в моделях Simulink | Setup Requirements Management Interface (Simulink Requirements), который доступен, если у вас есть лицензия Simulink Requirements™. |
Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Модели к коду при генерации отчета HTML во время генерации кода или процесса сборки. |
Проследите сгенерированный код до блоков модели и подсистем | Опция Трассируемости Кода к модели при генерации отчета HTML во время генерации кода или процесса сборки. |