Применение конструкции на основе модели к критически важной для безопасности системе требует дополнительного рассмотрения и строгости, чтобы система соответствовала определенным стандартам безопасности. Таким стандартом является EN 50128, Railway applications - Software for railway control and protection systems.
MathWorks ® предоставляет продукт IEC Certification Kit, который можно использовать для сертификации средств генерации и проверки кодов MathWorks для проектов на основе стандарта EN 50128. Дополнительные сведения см. в разделе Комплект для сертификации МЭК.
Если у вас есть лицензия на продукт Simulink ® Check™, вы можете проверить, что модель или подсистема Simulink и код, создаваемый на ее основе, соответствуют выбранным аспектам стандарта EN 50128 .
Чтобы проверить модель или подсистему:
Откройте мастер модели.
Перейдите в меню «По задаче» > «Стандарты моделирования» для стандарта EN 50128.
Выполните проверки EN 50128 (Simulink Check).
Дополнительные сведения об использовании Model Advisor см. в разделе Проверка модели с помощью Model Advisor.
Как правило, приложения, требующие сертификации, требуют определенного уровня прослеживаемости между требованиями, моделями и соответствующим кодом.
| Кому... | Использовать... |
|---|---|
| Связывание документов требований с объектами в моделях Simulink | Настройка интерфейса управления требованиями (Simulink Requirements), которая доступна при наличии лицензии Simulink Requirements™. |
| Трассировка блоков и подсистем модели по сгенерированному коду | Параметр Отслеживание модели в коде (Model-to-Code Traceability) при создании HTML-отчета во время создания кода или процесса построения. |
| Трассировка сгенерированного кода к модельным блокам и подсистемам | Параметр Отслеживание кода к модели (Code-to-Model Traceability) при создании HTML-отчета во время создания кода или процесса построения. |