Применение Модельно-ориентированного проектирования к критической по отношению к безопасности системе требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов безопасности. 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.
Осуществите (Simulink Check) EN 50128 проверки.
Для получения дополнительной информации об использовании Model Advisor смотрите Проверку Ваша Модель Используя Model Advisor (Simulink).
Как правило, приложения, которые требуют сертификации, требуют некоторого уровня трассируемости между требованиями, моделями и соответствующим кодом.
К... | Использование... |
---|---|
Объединенные документы требований с объектами в моделях Simulink | Setup Requirements Management Interface (Simulink Requirements), который доступен, если у вас есть лицензия Simulink Requirements™. |
Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Модели к коду при генерации отчета HTML во время генерации кода или процесса сборки. |
Проследите сгенерированный код до блоков модели и подсистем | Опция Трассируемости Кода к модели при генерации отчета HTML во время генерации кода или процесса сборки. |