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