50. Пакет Stateflow: общий обзор

При моделировании StateFlow модель процесса или объекта представляется в виде диаграмм. Осн неграфич компоненты диаграммы – событие и действие, осн графич – состояние и переход. Событие – вызванное поступлением нек данных или сигналов. Действие – реакция моделируемой системы на события. Состояние – условия, в которых моделируемые системы пребывают нек время, в течение кот она ведёт себя одинаковым образом. Переход – изменение сост, обычно вызываемое некоторым значительным событием. Кажд переходу могут быть сопоставлены условия, при вып кот осущ переход. С кажд переходом и кажд состоянием могут быть соотнесены нек действия. Пакет StateFlow связан с Simulink и MatLAB следующим соотношением:

StateFlow сост из: StateFlow graphics editor (графический редактор), explorer (проводник), coder (генератор объектного кода), debugger (отладчик). Совкупн блоков StateFlow и модели Simulink – StateFlow-машина.

51. Объекты Stateflow-диаграммы

Графич объекты: диаграммы, состояния, блоки, функции, переходы и соединения. Состояние опис режим упр событиями системы. Динамические переходы состояний от активности к неактивности осн на событиях и условиях. Кажд сост имеет родителя. В диаграмме StateFlow (SF), состоящей из одного сост, родитель состояния сама диаграмма. Сост может иметь хронологию. Сост имеют метки, кот могут определять действия, вып в послед, основанной на типе действия (entry, during, exit, on eventname (события с именем). Переходы – графич объекты, кот в чаще всего связывают один объект с другим. Один конец перехода приложен к объекту источнику, второй – к объекту-адресату. Метки переходов описывают обстоятельства, под действ которых система переходит из сост в сост.

События управляют выполнением диаграмм SF, но явл неграфич объектами и т.о. не представлены непосредственно в диаграмме SF. Наступление события меняет статус сост (активно-неактивно). Переход по умолчанию определяет какое из нескольких исключений (ИЛИ) состояний должно быть активно, когда имеется неопределённость между двумя и более исключительными (ИЛИ) состояниями на одном уровне иерархии. Соединения – точка принятия решений в системе.

Можно размещать сост внутри другихсостболее высокого уровня. Любоесостможет сущ каксостродитель,сост-потомок или простосост.Состбывают взаимоисключающими и ||. Взаимоисключающие – сплошная линия, || - пунктирн.

С и D – взаимоисключающие (or), A и B - || (and)

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

Событие [условие] {действие по условию/действие по переходу} Здесь указывается событие, кот должно произойти, чтобы переход был взят для проверки на его обоснованность. Указание на событие не явл обязат. Условие – логич выраж, кот явл доп требованием, чтобы переход произошел. Действие по усл вып как только усл будет проверено и определено как True, и до того, как переход будет определён как обоснованный. Если усл не описаны, то считается, что оно True и действие по нему вып как только возник событие. Действие в результ перехода вып после того, как переход будет определён как обоснованный.

Описание метки перехода	Переход обоснован, если
Только событие	Событие возникло
Событие и условия	Событие возникло и условие True
Условия	Произошло любое событие и условие True
Только действие или метка не описана	Произошло любое событие

Данные исп для хранения числовых значений для применения в диаграмме SF. Они явл неграфич объектами и созд и изм с помощью SF Explorer. Данные м.б. локальными, поступить в SF из Simulink и выходить из SF в модель Simulink.