Синтез и отладка алгоритмов функционирования цифровых устройств управления. Вашкевич Н.П - 53 стр.

ванием [Настройки|Опции] открыть окно настроек и на вкладке "ГСА"
произвести настройку имен начального, конечного событий и выход-
ных сигналов УА. Здесь же может быть включен режим "следящие"
фигуры. Рекомендуется отключить "автоматическое присвоение
имен", с тем, чтобы на последующих этапах было легче устанавли-
вать соответствие между ГСА и ТПиВ. Напоминаем, что в этом слу-
чае нужно соблюдать синтаксис, а именно:<событие><(<список
управляющих сигналов>)>. Например, s12(y1,y2). ГСА приведена на
рис. 3.6. Из исходного задания ясно, что для объединения парал-
лельных ветвей нужно использовать конъюнктивный соединитель,
причем выход за него выполняется в случае завершения процессов в
параллельных ветвях.

  Для осуществления этого каждая ветвь заканчивается оператор-
ной вершиной с "пустым" выходным сигналом, соответственно,
sk1(ye) и sk2(ye). Далее организуется цикл ожидания завершения
процесса в другой ветви. Конечно, в данном алгоритме можно было
поступить более просто. Достаточно в левой ветви вставить опера-
торную вершину с "пустым" выходным сигналом и время выполнения
ветвей будет выравнено, и тогда не нужны циклы ожидания. Но если
в алгоритме есть ветвления и циклы, то такой подход невозможен.

  На четвертом шаге преобразуем описание алгоритма с языка ГСА
на язык ТПиВ. При этом преобразовании могут быть выявлены раз-
личные ошибки. Например, недостижимые события или отсутствие
перехода из какого-то события. В этом случае нужно разобраться с
этими ошибками (можно в ГСА, можно в ТПиВ, в зависимости от того,




                                53