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