Технологии разработки программного обеспечения


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


Для нашей модели ТАП имеет вид, представленный в табл. 3.1.

 

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

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

Включение системы

1

0

0

Избыточное давление

0

1

0

Норма

0

0

1

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

Тревога

0

1

0

Работа

1

0

1

Активация процессов:

Слежение и регулирование давления

1

0

1

Уменьшение давления

0

1

0

Видим, что в нашем примере входных событий три: два внешних события (Включение системы, Норма) и одно — условие данных (Избыточное Давление). Работа ТАП инициируется входным событием, «втекающим» в окно УСПЕЦ. В результате ТАП вырабатывает выходное событие — активатор. В нашем примере активаторами являются события Работа и Тревога. Активатор «вытекает» из окна УСПЕЦ, запуская в УПД конкретный процесс.

Другой элемент УСПЕЦ — Диаграмма переходов-состояний. ДПС отражает состояния системы и показывает, как она переходит из одного состояния в другое.

ДПС для нашей модели показана на рис. 3.10.

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

Изучая ДПС, разработчик может анализировать поведение модели и установить, нет ли «дыр» в определении поведения.

 




Начало  Назад  Вперед



Книжный магазин