Разработка и симуляция машин состояний и конечных автоматов.
Stateflow - это среда для моделирования и симуляции комбинаторной и последовательной логики принятия решений, основанных на машинах состояний и блок-схемах.

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

При помощи Stateflow вы можете разрабатывать логику диспетчерского управления, планирования задач и систем реагирования на ошибки. Stateflow включает анимацию диаграммы состояний, а также статические и динамические проверки.

Это позволяет убедиться, что ваш дизайн является согласованным и целостными до того, как вы приступите к его реализации.

Разработка логики

Stateflow предоставляет графические и табличные интерфейсы для моделирования логики системы с использованием машин состояний.

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

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

Разработка логики включает в себя определение условий для проверки и соответствующие действия, которые должны выполняться. Stateflow позволяет вам задавать условия и действия при помощи языка C или в MATLAB. Вы можете управлять данными, использующимися в условия и действиях из Simulink Model Explorer. Перед запуском вашей модели Stateflow сообщает о возможных несоответствиях состояний, неиспользуемых данных и событиях и неправильных переходах.
 

Разработка логики в графическом виде

Stateflow предоставляет редактор и графические объекты для рисования машин состояний и блок-схем.

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

Ваша диаграмма Stateflow может быть задана как диаграмма Мили, или Мура, или гибридная Мили-Мура с расширенным функционалом.
Вы можете создавать блок-схемы, рисуя переходы, которые соединены узлами и выполняются по условиям. Мастер шаблонов (Pattern Wizard) позволяет вам легко создавать широко используемые логические шаблоны.

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

Разработка логики при помощи таблиц

Таблицы перехода состояний в Stateflow предоставляют структурированный метод моделирования машин состояний.

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

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

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


Ключевые особенности

  • Среда для моделирования, графические компоненты и ядро симуляции для моделирования и симуляции сложной логики
  • Детерминированная семантика выполнения с иерархией, параллелизмом, темпоральными операторами и событиями
  • Диаграммы состояний, таблицы перехода состояний и матрицы перехода состояний, представляющие конечные автоматы
  • Блок-схемы, функции MATLAB functions и таблицы истинности для представления алгоритмов
  • Анимация диаграммы состояний, запись активности состояния, запись данных и встроенный отладчик для анализа дизайна и выявления ошибок времени выполнения
  • Статические и динамические проверки конфликтующих переходов, проблем зацикливания, несоответствия состояний, нарушения диапазонов данных и переполнений
  • Конечные автоматы Мили и Мура


Системные требования



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