Применение конструкции на основе модели к критически важной для безопасности системе требует дополнительного рассмотрения и строгости, чтобы система соответствовала определенным функциональным стандартам безопасности. Таким стандартом является стандарт ISO 25119 «Тракторы и машины для сельского и лесного хозяйства - элементы систем управления, связанные с безопасностью».
MathWorks ® представляет собой продукт IEC Certification Kit, который можно использовать для определения качества средств генерации и проверки кодов MathWorks для проектов на основе стандарта ISO 25119. Дополнительные сведения см. в разделе Комплект для сертификации МЭК.
Как правило, приложения, требующие сертификации, требуют определенного уровня прослеживаемости между требованиями, моделями и соответствующим кодом.
| Кому... | Использовать... |
|---|---|
| Связывание документов требований с объектами в моделях Simulink ® | Настройка интерфейса управления требованиями (Simulink Requirements), которая доступна при наличии лицензии Simulink Requirements™. |
| Трассировка блоков и подсистем модели по сгенерированному коду | Параметр Отслеживание модели в коде (Model-to-Code Traceability) при создании HTML-отчета во время создания кода или процесса построения. |
| Трассировка сгенерированного кода к модельным блокам и подсистемам | Параметр Отслеживание кода к модели (Code-to-Model Traceability) при создании HTML-отчета во время создания кода или процесса построения. |