Известно, что основной задачей первых трех десятилетий компьютерной эры являлось развитие аппаратных


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



Pdf көрінісі
бет16/78
Дата30.09.2024
өлшемі1,76 Mb.
#146202
түріЛекция
1   ...   12   13   14   15   16   17   18   19   ...   78
Байланысты:
материалы ТРСПО 2024

 
Модель системы регулирования давления космического корабля 
Обсудим модель системы регулирования давления космического корабля, представленную на рис. 3.9. 
Начнем с диаграммы потоков данных. Основной процесс в ПДД — Слежение и регулирование давления. На его входы 
поступают: измеренное Давление в кабине и Мах давление: На выходе процесса — поток данных Изменение давления. 
Содержание процесса описывается в его спецификации ПСПЕЦ. 
Спецификация процесса ПСПЕЦ может включать: 
1) поясняющий текст (обязательно); 
2) описание алгоритма обработки; 
3) математические уравнения; 
4) таблицы; 
5) диаграммы. 
Элементы со второго по пятый не обязательны. 
Рис. 3.9. 
Модель системы регулирования давления космического корабля 
С помощью ПСПЕЦ разработчик создает описание для каждого преобразователя, которое рассматривается как: 

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

руководство для проектирования программ, которые будут реализовывать процессы.
В нашем примере спецификация процесса имеет вид 
если Давление в кабине > мах
то Избыточное давление:=11; 
иначе Избыточное давление:=0;


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

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

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


Достарыңызбен бөлісу:
1   ...   12   13   14   15   16   17   18   19   ...   78




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет