Применение модельно-ориентированного проектирования к критически важной для безопасности системе требует дополнительного фактора и строгости, чтобы система соответствовала определенным стандартам безопасности. EN 50128, Железнодорожные приложения - Программное обеспечение для систем управления и защиты железных дорог, является таким стандартом.
MathWorks® предоставляет продукт IEC Certification Kit, который можно использовать для сертификации инструментов генерации кода MathWorks и верификации для проектов на основе стандарта EN 50128. Для получения дополнительной информации см. IEC Certification Kit.
Если у вас есть Simulink® Check™ лицензии продукта можно проверить, что ваша модель Simulink или подсистема и код, который вы генерируете из нее, соответствуют выбранным аспектам стандарта EN 50128.
Чтобы проверить свою модель или подсистему:
Откройте Model Advisor.
Перейдите к разделу By Task > Modeling Standards for EN 50128.
Выполните проверку EN 50128 (Simulink Check).
Для получения дополнительной информации об использовании Model Advisor, смотрите Проверить модель Используя Model Advisor.
Как правило, приложения, которые требуют сертификации, требуют определенного уровня трассируемости между требованиями, моделями и соответствующим кодом.
| Кому... | Использовать... |
|---|---|
| Связать документы требований с объектами в моделях Simulink | Настройка Requirements Management Interface (Simulink Requirements), которая доступна, если у вас есть лицензия Simulink Requirements™. |
| Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Model-to-Code при генерации отчета о HTML во время генерации кода или процесса сборки. |
| Проследите сгенерированный код, чтобы смоделировать блоки и подсистемы | Трассируемость Code-to-Model опции при генерации отчета о HTML во время генерации кода или процесса сборки. |