В этом примере показано, как использовать Model Advisor, чтобы проверять, что модель выполняет стандарт безопасности IEC 61508.
Проверки Model Advisor IEC 61508 идентифицируют проблемы с моделью, которые препятствуют развертыванию в связанных с безопасностью приложениях или ограничивают трассируемость.
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 открывается. Выберите модель или систему, которую вы хотите рассмотреть и нажать ОК. Или введите modeladvisor('rtwdemo_IEC61508')
в командной строке MATLAB.
На левой панели Model Advisor расширьтесь Задачей> Моделирование Стандартов для IEC 61508. Если папка By Task не отображена в окне Model Advisor, открытые Настройки> Настройки, и выберите Show By Task Folder.
Выберите проверки, которые вы хотите включать в свой анализ модели.
Нажмите на папку, которая содержит проверки и на правой панели Model Advisor, выберите отчет Show, после того, как запущено, чтобы автоматически сгенерировать и отобразить отчет в формате HTML.
Нажмите Run Selected Checks, чтобы выполнить анализ.
Model Advisor обрабатывает проверки IEC 61508 и отображает результаты.
После того, как анализ завершен, рассмотрите итоговые результаты на правой панели Model Advisor. Вы видите общее количество проверок, которые передали, отказавший, были отмечены как предупреждения и не выполнились.
Чтобы рассмотреть результаты для определенной проверки, в Задачей> Моделирование Стандартов для папки IEC 61508, выбирают проверку. Для получения дополнительной информации о проверке и как решить вопросы, о которых сообщают, нажмите Help.
Решите проблемы, о которых сообщают, и повторно выполните проверки.
Чтобы рассмотреть сгенерированный отчет HTML результатов, выберите By Task> Моделирование Стандартов для папки IEC 61508 и щелкните по ссылке в поле Report.
Распечатайте сгенерированный отчет HTML. Можно использовать отчет в качестве доказательства в процессе IEC 61508 податливости.
При желании нажмите кнопку Generate Code Using Embedded Coder в модели, чтобы смотреть сгенерированный код и отчет трассируемости.
Для описаний проверок IEC 61508 смотрите IEC 61508, IEC 62304, ISO 26262, ISO 25119 и EN 50128/EN 50 657 Проверок (Simulink Check) в документации Simulink Check.
Для получения дополнительной информации об использовании Model Advisor смотрите Осуществленные Проверки Model Advisor и Результаты Анализа в документации Simulink.
Для получения дополнительной информации о решении вопросов смотрите Результаты Проверки Модели Адреса в документации Simulink.