В этом примере показано, как использовать Model Advisor для проверки соответствия модели стандарту безопасности МЭК 61508.
IEC 61508 Model Advisor проверяет наличие проблем с моделью, которые препятствуют развертыванию в приложениях, связанных с безопасностью, или ограничивают прослеживаемость.
Модель rtwdemo_iec61508 проверить, является ли расстояние между точками 1 нормой (x1,x2) и (y1,y2) меньше или равно заданному порогу thr. За два балла (x1,x2) и (y1,y2), расстояние 1-norm задается как:
Откройте и просмотрите модель.
model='rtwdemo_iec61508';
open_system(model)
Чтобы развернуть модель в программном компоненте, связанном с безопасностью, который должен соответствовать стандарту безопасности IEC 61508, проверьте модель на наличие проблем, которые могут помешать развертыванию в такой среде или ограничить прослеживаемость между моделью и сгенерированным исходным кодом.
Чтобы открыть помощник по модели, в редакторе Simulink перейдите на вкладку Моделирование (Modeling) и выберите Помощник по модели (Model Advisor). Откроется диалоговое окно Выбор системы - Консультант по модели (System Selector - Model Advisor). Выберите модель или систему, которую требуется просмотреть, и нажмите кнопку OK. или введите modeladvisor('rtwdemo_IEC61508') в командной строке MATLAB.
На левой панели Мастера моделей разверните узел По задаче > Стандарты моделирования для МЭК 61508. Если папка По заданию (By Task) не отображается в окне Мастер модели (Model Advisor), откройте Настройки (Settings) > Настройки (Preferences) и выберите Показать по папке задания (Show By Task Folder).
Выберите проверки, которые необходимо включить в анализ модели.
Щелкните папку, содержащую чеки, и на правой панели помощника по модели выберите Показать отчет после выполнения (Show report after run), чтобы автоматически сгенерировать и отобразить отчет в формате HTML.
Щелкните Выполнить выбранные проверки (Run Selected Checks), чтобы выполнить анализ.
Консультант по модели обрабатывает проверки IEC 61508 и отображает результаты.
После завершения анализа просмотрите агрегированные результаты на правой панели помощника по модели. Можно просмотреть общее количество проверок, которые прошли, не прошли, были помечены как предупреждения и не были выполнены.
Чтобы просмотреть результаты для определенной проверки, в папке «По задаче > Стандарты моделирования для МЭК 61508» выберите проверку. Для получения дополнительных сведений о проверке и устранении проблем, о которых сообщается, нажмите кнопку Справка.
Устраните выявленные проблемы и повторно запустите проверки.
Чтобы просмотреть созданный HTML-отчет о результатах, выберите папку «По задаче > Стандарты моделирования для МЭК 61508» и щелкните ссылку в поле «Отчет».
Печать созданного HTML-отчета. Отчет можно использовать в качестве доказательства в процессе обеспечения соответствия МЭК 61508.
При необходимости нажмите кнопку Создать код с помощью встроенного кодера (Generate Code Using Embedded Coder) в модели, чтобы проверить созданный код и отчет об отслеживаемости.
Описание проверок IEC 61508 см. в документах IEC 61508, IEC 62304, ISO 26262, ISO 25119 и EN 50128/EN 50657 «Проверки Simulink» в документации по проверке Simulink.
Дополнительные сведения об использовании модуля Model Advisor см. в разделе Запуск модуля Model Advisor Проверка и проверка результатов в документации Simulink.
Дополнительные сведения о решении проблем см. в разделе Результаты проверки модели адреса в документации Simulink.