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