Концепции конечных автоматов

Stateflow® графики могут содержать последовательную логику принятия решений, основанную на машинах состояний. A finite state machine является представлением управляемой событиями (реактивной) системы. В управляемой событиями системе выполняется переход от одного состояния (режима) к другому, если условием, определяющим изменение, является true.

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

Конечные представления конечных машин

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

Представления диаграммы Stateflow

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

Можно включать диаграммы Stateflow в качестве блоков в Simulink® модель. Набор этих блоков в модели Simulink является машиной Stateflow.

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

Обозначение

Обозначение задаёт набор объектов и правил, которые управляют отношениями между этими объектами. Обозначение на диаграмме Stateflow предоставляет способ передачи информации о проекте на диаграмме Stateflow.

Обозначение диаграммы Stateflow состоит из следующих элементов:

  • Набор графических объектов

  • Набор неграфических текстовых объектов

  • Заданные отношения между этими объектами

Семантика

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

Библиография

[1] Harel, D «Statecharts: A Visual Formalism for Сложные Системы». Science of Computer Programming Vol. 8, 1987, pp. 231-274.

[2] Хатли, Д. Дж. и И. А. Пирбхай. Стратегии спецификации системы в реальном времени. Нью-Йорк, Нью-Йорк: Dorset House Publishing, 1988.

См. также

| |

Похожие темы

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