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