Рис. 3.8. Композиция модели обработки и управления

В модель обработки входит набор диаграмм потоков данных и набор спецификаций процессов. Модель управления образует набор диаграмм управляющих потоков и набор управляющих спецификаций. Модель обработки подключается к модели управления с помощью активаторов процессов. Активаторы включают в конкретной ПДД конкретные преобразователи. Обратная связь модели обработки с моделью управления осуществляется с помощью условий данных. Условия данных формируются в ПДД (когда входные данные преобразуются в события).

Модель системы регулирования давления космического корабля

Обсудим модель системы регулирования давления космического корабля, представленную на рис.

3.9.

Начнем с диаграммы потоков данных. Основной процесс в ПДД — Слежение и регулирование давления. На его входы поступают: измеренное Давление в кабине и Мах давление: На выходе процесса

—поток данных Изменение давления. Содержание процесса описывается в его спецификации ПСПЕЦ. Спецификация процесса ПСПЕЦ может включать:

1)поясняющий текст (обязательно);

2)описание алгоритма обработки;

3)математические уравнения;

4)таблицы;

5)диаграммы.

Элементы со второго по пятый не обязательны.

46

Рис. 3.9. Модель системы регулирования давления космического корабля

С помощью ПСПЕЦ разработчик создает описание для каждого преобразователя, которое рассматривается как:

первый шаг создания спецификации требований к программному изделию;

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

Внашем примере спецификация процесса имеет вид

если Давление в кабине > мах то Избыточное давление:=11;

иначе Избыточное давление:=0; алгоритм регулирования; выч.Изменение давления;

конец если;

Таким образом, когда давление в кабине превышает максимум, генерируется управляющее событие Избыточное давление. Оно должно быть показано на диаграмме управляющих потоков УПД. Это событие входит в окно управляющей спецификации УСПЕЦ.

Управляющая спецификация моделирует поведение системы. Она содержит:

таблицу активации процессов (ТАП);

диаграмму переходов-состояний (ДПС).

Таблица активации процессов показывает, какие процессы будут вызываться (активироваться) в потоковой модели в результате конкретных событий.

ТАП включает три раздела — Входные события, Выходные события, Активация процессов. Логика работы ТАП такова: входное событие вызывает выходное событие, которое активирует конкретный процесс. Для нашей модели ТАП имеет вид, представленный в табл. 3.1.

Таблица 3.1. Таблица активации процессов

Входные события:

47