Этот пример показывает, как использовать проверки Model Advisor на стандарт IEC 61508, чтобы разработать модель и код, которые выполняют стандарт.
Проверки IEC 61508 идентифицируют проблемы с моделью, которые препятствуют развертыванию в связанных с безопасностью приложениях или ограничивают трассируемость.
Согласно функциональным требованиям, модель должна быть создана, что проверки, меньше чем или равно ли расстояние с 1 нормой между точками (x1,x2)
и (y1,y2)
данному порогу thr
. Для двух точек (x1,x2)
и (y1,y2)
, расстояние с 1 нормой дано как:
Модель rtwdemo_iec61508
реализует предыдущее требование. Откройтесь и познакомьтесь с моделью.
model='rtwdemo_iec61508';
open_system(model)
Чтобы развернуть модель в связанном с безопасностью компоненте программного обеспечения, который должен выполнить стандарт безопасности IEC 61508, проверяйте модель на проблемы, которые могут препятствовать развертыванию в такой среде или ограничить трассируемость между моделью и сгенерированным исходным кодом.
Идентифицировать возможные проблемы соответствия с моделью:
Запустите Model Advisor путем выбора Analysis> Model Advisor или путем ввода modeladvisor('rtwdemo_IEC61508')
в командной строке MATLAB.
В Иерархии задач расширьтесь Задачей> Моделирование Стандартов для IEC 61508.
Выберите проверки в группе.
Выберите отчет Show, после того, как запущено, чтобы сгенерировать отчет HTML, который показывает результаты проверки.
Нажмите Run Selected Checks. Model Advisor обрабатывает проверки IEC 61508 и отображает результаты.
Рассмотреть результаты проверки и внести изменения:
Рассмотрите Сводные данные в разделе Report правой панели.
В Иерархии задач выберите проверку, которая не передала. Рассмотрите результаты, которые появляются на правой панели для той проверки. Для получения дополнительной информации о проверке и о том, как решить вопросы, о которых сообщают с выбранной проверкой, нажимают Help.
Нажмите кнопку Generate Code Using Embedded Coder в модели, чтобы осмотреть сгенерированный код и отчет трассируемости.
Решите вопросы, о которых сообщают, и повторно выполните проверки.
Рассмотрите сгенерированный отчет HTML результатов проверки путем щелчка по ссылке в поле Report.
Распечатайте сгенерированный отчет HTML. Можно использовать отчет в качестве доказательства в процессе IEC 61508 соответствия в качестве примера.
Для описаний проверок IEC 61508 смотрите IEC 61508, IEC 62304, ISO 26262 и Регистрации EN 50128 документации Simulink Check.
Для получения дополнительной информации об использовании Model Advisor смотрите Регистрации Модели Выполнения документации Simulink.