Неграфические объекты SF-диаграмм

Пример электронного выключателя.

Основные объекты SF-диаграмм.

Пакет событийного моделирования систем и устройств Stateflow.

Пакет основан на теории конечных автоматов и позволяет представить функционирование системы на основе цепочки правил: «если произошло данное событие, то будет то-то и то-то». Пакет предназначен для анализа, моделирования и проектирования таких систем, как:

· детерминированные системы управления (у которых параметры не изменяются во времени);

· диспетчерские службы различных транспортных средств;

· периферийные устройства и контроллеры для компьютера;

· элементы человеко-машинного интерфейса.

Основной библиотечный компонент пакета: блок Chart. Компонент Chart служит для вставки в Simulink модели блоков вызова SF-диаграмм, причем изначально пустых.

SF-диаграмма – это диаграмма, создаваемая средствами графического интерфейса пакета расширения Stateflow. Она служит для визуального представления работы модулируемых систем.

Ø State (состояние). Активность или пассивность состояния динамически изменяется и зависит от происходящих событий. Каждое состояние имеет состояние родителя и может иметь дочерние состояния (состояния более низкого уровня);

Ø

Н

Historyjunction (признак состояние с памятью). Выглядит как красная окружность с буквой «Н» внутри. Обеспечивает определение будущего перехода в другое состояние на основе информации о прошлом системы;

Ø Transition (переход). Они отображают переходы от одного объекта к другому и представляются обычно красными стрелками. Переходы имеют метки, которые описывают обстоятельства или условия, при которых происходит переход из одного места диаграммы в другое;

Ø Connectivejunction (признаки альтернативы). Служит для указания альтернативных путей перехода систем из одного состояния в другое.

Модель электрического выключателя, которая включается под действием одних импульсов, а выключается под воздействием других. При этом на выходе, в зависимость от состояния может быть либо 1, либо -1.

Switch2

Power_off Data=-1

SF-диаграмма:

Power_on Data=1

Switch1

Для этой схемы устанавливается таблица переключений.

Ø Event (событие). Возникновение события меняет статус связанных с ним состояний и может запустить заданное действие или переход. Событие имеет свойства, главным из которых является область видимости события. События классифицируемые по области видимости могут быть следующих типов:

o Локальные – видимые только в пределах данной SF-диаграммы;

o Входные – передаваемые в SF-диаграмму из Simulink модели;

o Выходные – передаваемые из SF-диаграммы в Simulink модели;

o Экспортируемые – передаваемые из SF или Simulink во внешнюю программу;

o Импортируемые – получаемые из внешних программ.

Ø Action (процедура). Процедура может быть представлена одной из моделей конечных автоматов:

o Моделью Мура, связывающую процедуру с состоянием;

o Моделью Мили, связывающую процедуры с переходами.

Процедура может быть задана как вызов функции, задания определенного события или перехода и т.д.

Ø Data (данные). Представляют в SF-модели числовые значения. По области видимости они могут быть следующих типов: локальные; входные; выходные; промежуточные; экспортируемые (из SF в Simulink модель); импортируемые (получаемые из внешних программ).

Дата добавления: 2013-12-13