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