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