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