Диаграммы Stateflow ® могут содержать последовательную логику принятия решений на основе конечных автоматов. Конечный автомат является представлением управляемой событием (реактивной) системы. В управляемой событиями системе выполняется переход из одного состояния (режима) в другое, если условие, определяющее изменение, является истинным.
Например, для представления автоматической коробки передач автомобиля можно использовать конечный автомат. Трансмиссия имеет следующие рабочие состояния: парковка, реверс, нейтраль, привод и низкий. Когда водитель перемещается из одного положения в другое, система выполняет переход из одного состояния в другое, например, из парковки в реверс.
Традиционно конструкторы использовали таблицы истинности для представления взаимосвязей между входами, выходами и состояниями конечного конечного автомата. Результирующая таблица описывает логику, необходимую для управления поведением исследуемой системы. Другой подход к разработке систем, управляемых событиями, заключается в моделировании поведения системы путем ее описания с точки зрения переходов между состояниями. Возникновение событий при определенных условиях определяет активное состояние. Диаграммы состояний и пузырьковые диаграммы являются графическими представлениями, основанными на этом подходе.
Диаграмма Stateflow может содержать последовательную и комбинаторную логику в виде диаграмм перехода состояний, блок-схем, таблиц перехода состояний и таблиц истинности. Диаграмма перехода состояний является графическим представлением конечного конечного автомата. Состояния и переходы образуют основные строительные блоки последовательной логической системы. Другим способом представления последовательной логики является таблица переходов состояний, позволяющая вводить логику состояний в табличном виде. Можно также представить комбинаторную логику в диаграмме с блок-схемами и таблицами истинности.
Диаграммы Stateflow можно включать в модель Simulink ® в виде блоков. Коллекция этих блоков в модели Simulink представляет собой машину Stateflow .
Диаграмма Stateflow обеспечивает представление иерархии, параллелизма и истории. Сложные системы можно организовать путем определения родительской и дочерней структуры объекта. Например, можно упорядочить состояния в других состояниях более высокого уровня. Система с параллелизмом может иметь два или более ортогональных состояния, активных одновременно. Можно также указать конечное состояние перехода на основе исторической информации.
Нотация определяет набор объектов и правила, которые управляют отношениями между этими объектами. Представление диаграммы Stateflow обеспечивает способ передачи информации о конструкции в диаграмме Stateflow.
Представление диаграммы потока состояний состоит из следующих элементов:
Набор графических объектов
Набор неграфических текстовых объектов
Определенные отношения между этими объектами
Семантика описывает, как интерпретировать нотацию диаграммы. Типичная диаграмма Stateflow содержит действия, связанные с переходами и состояниями. Семантика описывает последовательность этих действий во время выполнения диаграммы.
[1] Харель, Д «Статехарты: визуальный формализм для сложных систем». Наука о компьютерном программировании Том 8, 1987, стр. 231-274.
[2] Хэтли, Д. Дж. и И. А. Пирбхай. Стратегии для спецификации системы реального времени. Нью-Йорк, Нью-Йорк: Dorset House Publishing, 1988.
Диаграмма | Таблица переходов состояний | Таблица правды