Применение Модельно-ориентированного проектирования к критической по отношению к безопасности системе требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов безопасности. EN 50128, Железнодорожные приложения — программное обеспечение для системы управления и систем защиты, является таким стандартом.
MathWorks® обеспечивает продукт IEC Certification Kit, который можно использовать, чтобы сертифицировать генерацию кода MathWorks и инструменты верификации для проектов на основе стандарта EN 50128. Для получения дополнительной информации см. https://www.mathworks.com/products/iec-61508/.
Если у вас есть лицензия на продукты Simulink® Check™, можно проверять, что модель Simulink или подсистема и код, который вы генерируете от него, выполняют выбранные аспекты стандарта EN 50128 путем выполнения Model Advisor Simulink (Simulink). Перейдите к By Task> Modeling Standards for EN 50128 и запустите IEC 61508, IEC 62304, ISO 26262 и Проверки EN 50128 (Simulink Check).
Для получения дополнительной информации об использовании Model Advisor смотрите Выбор и Осуществленные Проверки Model Advisor (Simulink).
Как правило, приложения, которые требуют сертификации, требуют некоторого уровня трассируемости между требованиями, моделями и соответствующим кодом.
| К... | Использование... |
|---|---|
| Объединенные документы требований с объектами в моделях Simulink | Setup Requirements Management Interface (Simulink Requirements), который доступен, если у вас есть лицензия Simulink Requirements™. |
| Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Модели к коду при генерации отчета HTML во время генерации кода или процесса сборки. |
| Проследите сгенерированный код до блоков модели и подсистем | Опция Трассируемости Кода к модели при генерации отчета HTML во время генерации кода или процесса сборки. |
