2020-01-15
219
| Текущее время |
| e4 e1 e2 e8 e3 e4 e1 e 10… |
| Автомат |
| планировщик |
| Г3 |
| Г4 |
| STIME |
Алгоритм функционирования автоматно-событийной модели состоит из двух этапов:
1. Алгоритм функционирования автомата.
1.1.Сдвиг головки чтения ГЧ на ближайший правый не пустой квант, т.е. пересчет системного времени.
1.2.Определение нового состояния Si в соответствии с графом переходов.
Si 
1.3.Выполнение действий Fi соответствующих состоянию Si.
1.4.Передача управления планировку
2. Алгоритм функционирования планировщика.
2.1.Проверка истинности предикатов, принадлежащих множеству P.
2.2.Выделение элементов множества событий ek, соответствующих истинным предикатам.
2.3.Образование меток (ek,t) и запись их на ленту фреймов с помощью головки записи ГЗ.
2.4.Передача управления автомату
Структура планировщика событий
| Модуль 2 |
| p1 |
| p2 |
| pl |
| Образовать метки |
| Все Рi проверены? |
| да |
С содержательной точки зрения программа имитации, основанная на концепции состояний, имеет две части:
1. Декларирующая или описательная. Определяется графом динамики и переходов, которые удобно объединить в один граф, называемый объединенным графом динамики и переходов.
2. Интерпретирующая часть. Состоит из двух компонентов:
· выполнение действий;
· образование меток (ek,t).
Процесс функционирования системы представляет собой перемещение по графу переходов, происходящими во времени в соответствии с закономерностями функционирования моделированной системы.
Автомат и планировщик работают с информационной структурой следующего вида
| Индекс текущего состояния |
| Кол-во состояний, в которые возможны переходы |
| Индекс нового состояния |
| Выражение, определяющее условие перехода |
| Дескриптор состояний автомата |
Структура монитора, поддерживающего автоматно-событийную модель
| Определение текущего состояния системы (индекса) |
| STIME<TSIN |
| Моделирование заканчивается |
| Интерпритиция действий системы в текущем состоянии |
| Планирование событий |
| Выделение из множества запланированных событий, способных изменить текущее состояние системы, тех событий, которые ожидаются в ближайшем будущем и определяют переход в новое состояние |
| Пересчет системного времени |
Программная реализация автоматно-событийного монитора состоит из двух подсистем:
1. Транслятор, обрабатывающий описания объединенного графа динамики и переходов.
2. Монитор моделирования, управляющий выполнением действий fi, реализованных в виде процедур, управляющий проверкой множества предикатов, и реализующий механизмы генерации меток.
Предикаты могут определяться арифметическим выражение, что означает планирование перехода через заданный этим выражением интервал времени (безусловный переход) или логическим выражением (условный переход).
Пример.
Конечный автомат, моделирующий управление топливной системой во время полета.
Ресурсы: солн_эн, топливо
Const Cr1=…; (*критический уровень солн_эн*)
Const Cr2=…; (*критический уровень топлива*)
Автомат
Фон à Режим 1/2
Режим 1 à Режим2/РАВН(300+-100), ФОН;
Режим 2 à Режим1/НОРМ(200,50), ФОН;
Процессы управления:
Sit1: идентифицировать Cr1;
установить состояние ФОН;
активизировать слежение за ситуацией солн_эн <= Cr1; возврат;
…
Объединенный граф динамики и переходов:
| ФОН |
| Режим 1 |
| Режим 1 |
| Солн_эн <= Cr1 |
| Топливо<=Cr2 |
| РАВН(300+-100) |
| E4 |
| E2 |
| E3 |
| НОРМ(200,50) |
| 2 |
| E5 |
| E5 |
