Системное моделирование событийно-управляющей логики в Stateflow

В ходе данного курса рассматривается использование Stateflow для моделирования управляющей логики и конечных автоматов. Курс разработан для пользователей Simulink, которые занимаются моделированием событийных систем управления.

Курс сфокусирован на использовании машин состояний и таблиц истинности при разработке в Simulink. Курс включает в себя:

  • Моделирование комплексных логических систем.
  • Моделирование конечных автоматов.
  • Проектирование иерархических моделей.
  • Проектирование многопоточных моделей.
  • Моделирование событийной логики.
  • Вызов функций из диаграмм.
  • Создание таблиц истинности.
  • Таблицы переходов состояний
  • Практики проектирования


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

Для прохождения необходимо пройти следующие курсы:

  1. MATLAB для профессионалов
  2. Simulink для моделирования систем и алгоритмов


Продолжительность: 2 дня


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

  • Моделирование блок-схем.
  • Моделирование конечных автоматов.
  • Проектирование иерархических диаграмм.
  • Проектирование параллельно работающих диаграмм.
  • Использование событий в диаграммах Stateflow.
  • Вызов функций из диаграмм Stateflow.
  • Использование таблиц истинности и таблиц перехода.
  • Управление конструкциями Stateflow.

Подробная программа курса:

Модуль 1. Моделирование блок-схем.

Цель: создание управляющей логики на основе блок-схем в виде графов.

  • Переходы и узлы
  • Поведение графа.
  • Интерфейс Stateflow.
  • Условия и действия
  • Данные диаграммы Stateflow
  • Стандартные графы


Модуль 2. Моделирование конечных автоматов.

Цель: моделирование конечных автоматов с помощью диаграмм Stateflow.

  • Поведение конечных автоматов
  • Действия в состояниях и при переходах
  • Инициализация диаграммы
  • Порядок исполнения действий
  • Графы внутри состояний
  • Машины состояний Мили и Мура


Модуль 3. Проектирование иерархических диаграмм.

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

  • Подсостояния и суперсостояния
  • Данные состояния
  • Приоритет переходов
  • Порядок исполнения действий


Модуль 4. Проектирование параллельно работающих диаграмм.

Цель: создание параллельных состояний для моделирования параллельных процессов.

  • Преимущества параллельных диаграмм
  • Декомпозиция состояний и диаграммы
  • Поведение параллельных моделей.


Модуль 5. Использование событий в диаграммах Stateflow.

Цель: использование событий для влияния на исполнения диаграммы

  • Использование событий в диаграммах Stateflow.
  • Передача событий.
  • Поведение диаграмм, содержащих события.
  • Неявные события.
  • Операторы временной логики


Модуль 6. Вызов функций из диаграмм Stateflow.

Цель: создание функции в диаграммах Stateflow из блоков Simulink, кода MATLAB и графов.

  • Типы функций.
  • Функции Simulink.
  • Встроенные функции MATLAB.
  • Графические функции.


Модуль 7. Использование таблиц истинности и таблиц перехода.

Цель: использование табличного представления блок-схем и диаграмм состояний.

  • Таблицы истинности.
  • Условия, решения и действия.
  • Таблицы перехода между состояниями.
  • Состояния, переходы и действия.


Модуль 8. Управление конструкциями Stateflow.

Цель: организация переиспользуемых диаграмм Stateflow и взаимодействие с данными Simulink.

  • Шины Simulink.
  • Типы данных.
  • Атомарные поддиаграммы
  • Привязка данных.
  • Организация переиспользования диаграмм.
Поделиться
*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля