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