SLMB: Работа с моделями и верификация в Simulink

SLMB: Работа с моделями и верификация в Simulink

Продолжительность 22 академических часа.

Этот двухдневной курс описывает методику модельно-ориентированного проектирования применительно к обобщенному процессу разработки. В частности он содержит руководства по управлению и совместной работе с моделями, а также описывает методики для проведения верификации функциональности модели.

Предварительная подготовка

Настоятельно рекомендуется предварительное прохождение курсов «Основы работы в MATLAB» и «Simulink для моделирования систем и алгоритмов» или аналогичный опыт с продуктами MATLAB и Simulink.

Участники курса научатся:

· Управлять подсистемами и моделями Simulink

· Работать с требованиями, предъявляемыми к системам

· Пониманию, в каких случаях лучше использовать подсистемы, библиотеки и ссылки на модели

· Определять и контролировать модели на соответствие стандартам моделирования

· Тестировать модели Simulink на соответствие требованиям и делать анализ на полноту охвата модели тестированием

· Проводить верификацию модели используя формальные методы

· Автоматизировано создавать документацию к моделям

Программа курса

Модуль 1. Модельно-ориентированное проектирование.

Цели: Дать представление о том, как моделирование в Simulink может применяться в традиционном процессе разработки. Показать, в каких модулях курса находится соответствующий материал.

Модуль 2. Привязка требований к модели и определение интерфейсов.

Цели: Показать, как модели Simulink могут использоваться для контроля на соответствие требованиям, предъявляемым к системе; для составления структуры системы и определения интерфейсов между компонентами.

· Материал показывается на примере системы управления заслонкой

· Определение компонентов системы в модели Simulink

· Привязка требований к модели

· Определение интерфейсов компонентов модели

· Использование объектов типа «шина» для определения интерфейсов

Модуль 3. Архитектура модели.

Цели: Обсудить «за и против» использования различных способов организации компонентов моделей Simulink.

· Создание и использование компонентов системы

· Подсистемы, библиотеки и ссылки на модели

· Практические аспекты использования компонентов

Модуль 4. Управление конфигурациями.

Цели: Показать приемы, которые используются для управления и настройки окружения Simulink, а также для определения зависимостей моделей Simulink.

· Создание компонентов с вариациями

· Зависимости моделей

· Сравнение моделей Simulink

· Настройки проекта Simulink

· Настройка окружения Simulink

Модуль 5. Управление данными.

Цели: Обсудить данные в моделях Simulink и показать предпочтительную практику управления данными.

· Параметры хранения – базовая, модельная области и область маски

· Загрузка и сохранение параметров

· Использование объектов данных

· Создание настраиваемых параметров

· Определение свойств, используемых при реализации

Модуль 6. Стандарты моделирования.

Цели: Обсудить, как использовать Simulink Model Advisor для контроля за соблюдением стандартов моделирования при разработке модели, проверки общих ошибок моделирования и оптимизации скорости моделирования.

· Что такое стандарты моделирования?

· Зачем нужны стандарты моделирования?

· Использование Model Advisor

· Правила в Model Advisor

· Создание собственных правил в Model Advisor

Модуль 7. Тестирование моделей в Simulink.

Цели: Использовать окружение Simulink для тестирования моделей на корректность функционирования, проведения анализа на полноту охвата тестированием и проверки свойств модели.

· Модели тестовых стендов

· Signal Builder

· Блоки для верификации модели

· Анализ на полноту охвата тестированием

· Автоматическая генерация тестовых векторов

· Доказательство свойств модели

Модуль 8. Тестирование моделей при помощи MATLAB.

Цели: Разработать скрипт на языке MATLAB для генерации тестовых векторов, выполнения модели и анализа результатов.

· Преимущества при тестировании с помощью кода MATLAB

· Генерация тестовых векторов

· Проверка результатов

· Анализ на полноту охвата тестированием

Модуль 9. Тестирование моделей при помощи SystemTest.

Цели: Использовать SystemTest для тестирования моделей Simulink, используя независимый графический инструмент.

· Преимущества при тестировании в SystemTest

· Тестовые вектора и тестовые переменные

· Компоненты Simulink

· Критерии прохождение/непрохождения теста

· Анализ результатов тестирования

· Компоненты MATLAB

Модуль 10. Разработка документации.

Цели: Обсудить методы автоматической генерации документации и отчетов из моделей Simulink.

· Печать модели на принтере при помощи PrintFrames

· Генерация отчетов

· Экспорт в WEB

· Генерация настраиваемых отчетов при помощи Simulink Report Generator