Применение Модельно-ориентированного проектирования к критически важной для безопасности системе требует дополнительного фактора и строгости, чтобы система соответствовала определенным стандартам функциональной безопасности. 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 | Настройка Requirements Management Interface (Simulink Requirements), которая доступна, если у вас есть лицензия Simulink Requirements™. |
| Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Model-to-Code при генерации отчета о HTML во время генерации кода или процесса сборки. |
| Проследите сгенерированный код, чтобы смоделировать блоки и подсистемы | Трассируемость Code-to-Model опции при генерации отчета о HTML во время генерации кода или процесса сборки. |