Exponenta Banner

Разработайте Модель, которая Выполняет Стандарт IEC 61508

Скрипт Open Live Script

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

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

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

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 открывается. Выберите модель или систему, которую вы хотите рассмотреть и нажать ОК. Или введите modeladvisor('rtwdemo_IEC61508') в командной строке MATLAB.

  2. На левой панели Model Advisor расширьтесь Задачей> Моделирование Стандартов для IEC 61508. Если папка By Task не отображена в окне Model Advisor, открытые Настройки> Настройки, и выберите Show By Task Folder.

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

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

  5. Нажмите Run Selected Checks, чтобы выполнить анализ.

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

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

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

  2. Чтобы рассмотреть результаты для определенной проверки, в Задачей> Моделирование Стандартов для папки IEC 61508, выбирают проверку. Для получения дополнительной информации о проверке и как решить вопросы, о которых сообщают, нажмите Help.

  3. Решите проблемы, о которых сообщают, и повторно выполните проверки.

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

  5. Распечатайте сгенерированный отчет HTML. Можно использовать отчет в качестве доказательства в процессе IEC 61508 податливости.

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

Смотрите также

Документация Embedded Coder
Поддержка