Разрабатывайте модель, которая соответствует стандарту IEC 61508

В этом примере показано, как использовать Model Advisor для проверки соответствия модели стандарту безопасности IEC 61508.

Проверки IEC 61508 Model Advisor идентифицируют проблемы с моделью, которые препятствуют развертыванию в приложениях, связанных с безопасностью, или ограничивают трассируемость.

Понимание модели

Модель rtwdemo_iec61508 проверить, является ли расстояние 1 норма между точками (x1,x2) и (y1,y2) меньше или равно заданному порогу thr. Для двух точек (x1,x2) и (y1,y2)1-нормальное расстояние задается как:

i=12|xi-yi|

Откройте и проверьте модель.

model='rtwdemo_iec61508';
open_system(model)

Запуск стандартных проверок моделирования IEC 61508

Чтобы развернуть модель в компоненте программного обеспечения, связанном с безопасностью, который должен соответствовать стандарту безопасности IEC 61508, проверьте модель на наличие проблем, которые могут помешать развертыванию в таком окружении или ограничить трассируемость между моделью и сгенерированным исходным кодом.

  1. Чтобы открыть Model Advisor, в редакторе Simulink, щелкните вкладку Modeling и выберите Model Advisor. Откроется диалоговое окно System Selector - Model Advisor. Выберите модель или систему, которую вы хотите просмотреть и нажмите OK. Или введите modeladvisor('rtwdemo_IEC61508') в командной строке MATLAB.

  2. На левой панели Model Advisor разверните раздел По задаче > Стандарты моделирования для МЭК 61508. Если папка By Task не отображается в окне Model Advisor, откройте Settings > настройки и выберите Show By Task Folder.

  3. Выберите проверки, которые необходимо включить в анализ модели.

  4. Щелкните папку, содержащую проверки, и на правой панели Model Advisor выберите Показать отчет после выполнения, чтобы автоматически сгенерировать и отобразить отчет в формате HTML.

  5. Щелкните Выполнить выбранные проверки (Run Selected Checks), чтобы выполнить анализ.

Просмотр результатов проверки

Model Advisor обрабатывает IEC 61508, проверяет и отображает результаты.

  1. После завершения анализа проверьте совокупные результаты на правой панели Model Advisor. Вы можете увидеть общее количество пройденных, неудачных проверок, отмеченных как предупреждения и не выполненных.

  2. Чтобы просмотреть результаты для определенной проверки, в папке «По задаче» > «Стандарты моделирования для МЭК 61508» выберите проверку. Для получения дополнительной информации о проверке и способах устранения зарегистрированных проблем щелкните Справка.

  3. Устраните сообщенные проблемы и перезапустите проверки.

  4. Чтобы просмотреть сгенерированный HTML о результатах, выберите папку По задаче > Стандарты моделирования для IEC 61508 и щелкните ссылку в поле Отчет.

  5. Печать сгенерированного HTML. Отчет можно использовать в качестве доказательства в процессе податливости IEC 61508.

  6. При необходимости нажмите кнопку Generate Code Using Embedded Coder в модели, чтобы просмотреть сгенерированный код и отчет о трассируемости.

См. также

Для просмотра документации необходимо авторизоваться на сайте