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

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

Разработка управляющей логики

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

Графическое проектирование конечных автоматов Конечные автоматы создаются графически, при помощи рисования состояний и соединений, связанных переходами. Также можно создавать функции, используя обозначения блок-схем, подсистемы Simulink, код MATLAB и таблицы истинности. Представление режимов работы в виде состояний (рус.) Подсистемы Simulink как состояния (рус.) Переиспользование кода MATLAB с помощью функций (рус.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Диаграмма Stateflow, использующая конечные автоматы (слева) и блок-схемы (справа)

Разработка блок-схем Блок-схемы создаются с помощью рисования переходов, которые соединены в узлах. Мастер шаблонов позволяет создавать часто используемые конструкции программирования. Такие блок-схемы можно использовать для разработки логики перехода между состояниями. Блок-схемы в Stateflow (рус.) Создание блок-схем с помощью мастера шаблонов (рус.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Моделирование конструкций программирования с помощью блок-схем

Разработка логики с помощью таблиц Таблицы истинности позволяют моделировать логику в Simulink, когда результат зависит исключительно от текущего входа. Таблицы переходов состояний предоставляют структурированную среду для моделирования конечных автоматов в Simulink. Переиспользование комбинаторной логики с помощью таблиц истинности (рус.) Таблицы переходов между состояниями (рус.) Видео "Таблицы переходов между состояниями" (англ.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Использование таблиц переходов и таблиц истинности для моделирования системной логики

Выполнение и отладка диаграмм

Визуализация поведения системы для анализа и отладки.

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

Видео "Отладка диаграмм Stateflow" (англ.)

Отладка диаграмм Stateflow Средства отладки Stateflow позволяют детально описать выполнение диаграммы. Пользователь может установить точки останова, контролировать значения данных и выполнять различные функции на диаграммах состояний. Использование точек останова для отладки диаграмм Stateflow (рус.) Обнаружение ошибок проектирования во время редактирования диаграмм (рус.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Параметры визуализации данных моделирования в Stateflow. Слева вверху: Simulink Data Inspector для сравнения определенных сигналов; внизу слева: пользовательский интерфейс MATLAB для анализа данных; справа: Simulink Signal Selector для сравнения определенных состояний

Разработка переиспользуемой логики для приложений MATLAB

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

Переиспользуемые объекты диаграмм

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

• Создание диаграмм Stateflow как объектов MATLAB (рус.)
• Выполнение и тестирование объектов диаграмм (рус.)
• Отладка объектов диаграмм (рус.)

• Обсудить возможности продукта со специалистом
• Запросить тестовую версию

Конечные автоматы и темпоральная логика Применение Stateflow позволяет ускорить разработку приложений MATLAB за счет моделирования конечных автоматов и темпоральной логики в графическом виде, которые трудно реализовать в текстовом виде. Создание интерфейса "человек-машина" с помощью объектов Stateflow (рус.) Моделирование протокола связи (рус.) Приложение аналогового триггера с использованием диаграмм Stateflow (рус.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Видео "Использование Stateflow для создания логики работы приложения MATLAB" (англ.)

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

Приложения MATLAB, которые включают объекты диаграммы Stateflow, передаются пользователям, у которых нет Stateflow

Планирование исполнения алгоритмов Simulink

Планирование вызовов алгоритмов, смоделированных в Simulink.

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

Моделирование логики в Stateflow для периодического или непрерывного вызова алгоритмов Simulink и MATLAB

Временные операторы С помощью Stateflow моделируются операторы, основанные на событиях или времени, которые задают логику перехода состояний на основе счетчиков событий, прошедшего времени и незашумленных сигналов без необходимости создавать и поддерживать свои собственные таймеры и счетчики. Управление выполнением диаграмм с помощью теморальной логики (рус.) Управление колебаниями с помощью оператора duration (рус.) Обсудить возможности продукта со специалистом Запросить тестовую версию

Видео "Операторы темпоральной логики" (англ.)

Валидация проекта и генерация исходного кода

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

Валидация проекта Stateflow используется с другими продуктами Simulink для проверки соответствия проекта требованиям. Требования связываются напрямую с объектами Stateflow, используя функцию перетаскивания в Simulink Requirements Статический анализ диаграмм на соответствие стандартам, с помощью Simulink Check Сбор покрытия моделей и кода с помощью Simulink Coverage Обнаружение ошибок проектирования и создание тестовых векторов с помощью Simulink Design Verifier Разработка, управление и выполнение тестов с помощью Simulink Test Обсудить возможности продукта со специалистом Запросить тестовую версию

Подсветка активной логики с помощью Model Slicer

Генерация исходного кода Исходный код генерируется из диаграмм Stateflow для реализации логики в встроенных системах. C/C++ код генерируется из моделей Simulink и Stateflow с помощью Embedded Coder VHDL и Verilog генерируются для FPGA и ASIC с помощью HDL Coder Structured Text для ПЛК и ПКК генерируется с помощью Simulink PLC Coder Обсудить возможности продукта со специалистом Запросить тестовую версию

Исходный код генерируется для реализации логики созданной в Stateflow