Применение Модельно-ориентированного проектирования к критической по отношению к безопасности системе требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов безопасности. 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 Simulink (Simulink). Перейдите к By Task> Modeling Standards for IEC 61508 и запустите 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 во время генерации кода или процесса сборки. |
