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

Этот пример показывает, как использовать проверки 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, моделируя стандартные проверки

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

Идентифицировать возможные проблемы соответствия с моделью:

  1. Запустите Model Advisor путем выбора Analysis> Model Advisor или путем ввода modeladvisor('rtwdemo_IEC61508') в командной строке MATLAB.

  2. В Иерархии задач расширьтесь Задачей> Моделирование Стандартов для IEC 61508.

  3. Выберите проверки в группе.

  4. Выберите отчет Show, после того, как запущено, чтобы сгенерировать отчет HTML, который показывает результаты проверки.

  5. Нажмите Run Selected Checks. Model Advisor обрабатывает проверки IEC 61508 и отображает результаты.

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

  1. Рассмотрите Сводные данные в разделе Report правой панели.

  2. В Иерархии задач выберите проверку, которая не передала. Рассмотрите результаты, которые появляются на правой панели для той проверки. Для получения дополнительной информации о проверке и о том, как решить вопросы, о которых сообщают с выбранной проверкой, нажимают Help.

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

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

  5. Рассмотрите сгенерированный отчет HTML результатов проверки путем щелчка по ссылке в поле Report.

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

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