MathWorks Stateflow
Программное обеспечение MathWorks Stateflow – это расширение среды Simulink для моделирования логики событий, состояний и переходов в сложных событийных системах. Stateflow представляет собой язык, элементы которого описывают логику поведения систем в естественной, читаемой, и понятной форме. Stateflow тесно интегрирован с MATLAB и Simulink, образуя таким образом среду для эффективного проектирования логики систем управления и микропроцессорных устройств.
Stateflow позволяет создавать модели событийных систем в виде графических блок-диаграмм и моделировать режимы их работы на основе теории конечных автоматов.
Stateflow – это часть интегрированной среды MATLAB & Simulink. Использование пакета Stateflow вместе с Simulink позволяет создавать системы, совмещающие в себе модели физических объектов и логику смены их состояний и событий. Например, при проектировании системы управления возможно совместное моделирование объекта с обратными связями и подсистемы обработки отказов.
Построенные в Stateflow логические системы могут быть преобразованы в Си-код с помощью специального продукта Stateflow Coder. Это позволяет реализовывать разработанные системы управления и встраиваемые системы на различных микроконтроллерах.
Ключевые характеристики MathWorks SimPowerSystems:
- Инструмент для описания сложной логики работы систем на естественном и интуитивно-понятном языке блок-диаграмм.
- Процедурное и графическое описание функций, таблицы истинности, язык MATLAB, вставка функции языка С.
- Поддержка векторных и матричных типов данных, а также данных с фиксированной точкой.
- Средства визуализации и анимации диаграмм.
- Статическая проверка таблиц истинности.
- Проверка и устранение циклических конфликтов, противоречивых режимов и др.
- Инструменты отладки.
- Управление переходными процессами и событиями с помощью временной логики.
- Конечные автоматы Мили и Мура.
- Объединение пользовательского С-кода с входными и выходными параметрами.
Для работы пакета требуется:
- MATLAB.
- Simulink.