Средство программирования алгоритмов работы микроконтроллеров тема диссертации и автореферата по ВАК РФ 05.13.16, кандидат технических наук Зюбин, Владимир Евгеньевич

• Зюбин, Владимир Евгеньевич
• кандидат технических наук
• 1998

Оглавление диссертации кандидат технических наук Зюбин, Владимир Евгеньевич

ОГЛАВЛЕНИЕ

Лист

ВВЕДЕНИЕ

ГЛАВА 1. ОБЗОР И АНАЛИЗ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ ПЛК

1.1 Международный стандарт 1ЕС 1131-3

1.2 Человеческий фактор и методологические аспекты построения модели автоматизации

1.3 Факторы, влияющие на надежностные характеристики программы

ГЛАВА 2 . МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ОБЪЕКТА АВТОМАТИЗАЦИИ

2.1 Основные положения теории конечных автоматов

2.2 Создание описания объекта автоматизации на базе теории конечных автоматов

2.3 Предлагаемый способ описания

ГЛАВА 3. СИНТАКСИС И СЕМАНТИКА ЯЗЫКА

3.1 Основные компоненты языка

3.2 Формат исходной программы

3.3 Описания компонентов языка

3.4 Текст программы для иллюстративного примера

ГЛАВА 4 . СТРУКТУРА ТРАНСЛЯТОРА И ЕГО РЕАЛИЗАЦИЯ

4.1 Эквивалентная программа на языке Си

4.2 Синтаксический анализатор

4.3 Семантический анализатор и генерация выходных файлов

4.4 Реализация транслятора

ГЛАВА 5. ПОСТРОЕНИЕ УПРАВЛЯЮЩИХ ПРОГРАММ ДЛЯ СЛОЖНЫХ ОБЪЕКТОВ

АВТОМАТИЗАЦИИ

5.1 Основные параметры объекта автоматизации

5.2 Требования к системе управления

5.3 Аппаратура системы управления

5.4 ПО системы управления

ЗАКЛЮЧЕНИЕ

ЛИТЕРАТУРА

ПРИЛОЖЕНИЕ 1. Список резервированных слов

ПРИЛОЖЕНИЕ 2. Приоритеты операций

ПРИЛОЖЕНИЕ 3. Синтаксический граф СПАРМ

ПРИЛОЖЕНИЕ 4. Тексты выходных файлов для иллюстративного

примера

ПРИЛОЖЕНИЕ 5. Информация о внедрении полученных результатов

Введение диссертации (часть автореферата) на тему «Средство программирования алгоритмов работы микроконтроллеров»

ВВЕДЕНИЕ

В настоящее время наблюдается повышенный интерес к проблемам применения программируемых контроллеров для различных задач автоматизации. При этом темпы роста производительности микропроцессоров обусловливают постоянное расширение круга таких задач, как за счет разработок новых многомерных технических систем, так и за счет изменения функциональной наполненности ранее созданных.

Возрастающая сложность технических систем и проблема их автоматизации диктуют необходимость создания принципиально новых методик проектирования. Ключевым требованием к таким методикам является требование надежности создаваемого программного обеспечения(ПО). В первую очередь это касается класса задач автоматизации сложных научно-технических экспериментов, связанных с "критическими" производствами на предприятиях металлургической и химической промышленности, атомных электростанциях, предприятиях космической индустрии. Исследования, проводимые в таких условиях, изначально предполагают: во-первых, высокую вероятность выхода эксперимента из-под контроля, например, из-за возникновения непредвиденных ситуаций или отсутствия теоретической модели объекта управления; во-вторых, высокую функциональную наполненность алгоритма управления; в-третьих, предсказуемость и жесткие требования по времени реакции на внешнее событие; в-четвертых, изменения алгоритма управления по мере получения новой информации об объекте. Этот класс задач включает в себя и проблему отработки новых технологий, и проблему исследования объекта в граничных по ресурсам надежности областях, и проблему проведения эксперимента в условиях, исключающих непосредственное присутствие испытателя. В этих случаях возникновение ошибки не только влечет неприемлемые материальные и финансовые потери, но зачастую имеет катастрофические последствия - вплоть до человеческих жертв. В качестве примера такого эксперимента можно привести проблему автоматизации процесса выращивания монокристаллического кремния методом Чохральского. Условия исследовательских работ характеризуется: а) отсутствием теории, позволяющей в

аналитическом виде описать процесс кристаллизации; б) многомерным фазовым пространством состояний объекта; в) сложным алгоритмом управления; г) вероятностью возникновения аварийных ситуаций и нерегламентных быстротекущих процессов, угрожающих жизни обслуживающего персонала. Актуальность перечисленных жестких требований сохраняется и после внедрения разработанных технологий на производстве. В дальнейшем, для краткости, будем называть объекты этого класса задач - объектами автоматизации.

Работы по данной проблематике зарубежных и отечественных специалистов часто приводят к появлению узкоспециализированных средств, ориентированных на решение ограниченного круга задач вплоть до разработок, предназначенных для решения конкретной задачи. Так, в частности, для написания программного обеспечения воздушно-космического самолета Space Shuttle был создан уникальный язык высокого уровня - HAL/S[1]. Однако, в рамках концепции "открытых технологий" крайне желательным является создание методологии, и обеспечивающей надежностные требования к программному обеспечению, и ориентированной на широкий круг пользователей.

К настоящему времени наиболее известным решением этой проблемы является набор языков международного стандарта IEC 11313. Представляется очень важным ответ на вопрос, насколько перспективно предлагаемое решение. Аналитические обзоры на эту тему показывают, что подход имеет ряд принципиальных недостатков как на системном, так и на узкоспецифическом уровне, что снижает эффективность его использования в качестве средства проектирования сложных объектов автоматизации. Эти недостатки, подробно рассмотренные в главе 1, включают: отсутствие единой методики создания программ, неэффективность способа организация параллелизма, низкие структурирующие возможности и т.п. Однако следует отметить, что в определенных случаях, при относительно простых алгоритмах управления, применение набора регламентируемых IEC 1131-3 языков может быть достаточно эффективно.

Комплекс технических средств сложного объекта автоматизации представляет собой множество различных взаимосвязанных подсистем, датчиков, преобразователей и исполнительных механизмов. При этом, несмотря на то, что число логических входов и выходов такого

объекта может быть относительно невелико по сравнению, скажем, со SCADA-системами, сложность задачи обеспечения автоматического управления, растущая за счет связанности выходных и выходных сигналов и памяти автомата, эквивалентного описываемому алгоритму, крайне затрудняет выполнение жестких требований к надежности программного обеспечения.

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

Целью работы является разработка и реализация методики формализованного описания алгоритмов управления объектами автоматизации, которая учитывает специфику проведения экспериментальных работ в критических по надежности условиях.

В соответствии с поставленной целью определены следующие задачи диссертации:

1) построить концептуальную модель объекта автоматизации на основе системного анализа средств проектирования и факторов, влияющих на построение надежных программ.

2) разработать математическую модель управляющего алгоритма.

3) на основе разработанной модели создать методику описания алгоритма работы объекта автоматизации.

4) определить информационные и лингвистические средства реализации методики.

5) реализовать ПО, осуществляющее предложенную методику.

Научная новизна работы заключается в следующем:

1) Построена модель алгоритма управления объектом автоматизации в виде множества слабосвязанных процессов, что позволяет адекватно отражать специфику алгоритмов данного класса задач.

2) Предложен входной символьный язык описания алгоритмов работы объектов автоматизации.

3) Разработан конечный вид эквивалентного преобразования входного языка, обеспечивающий выполнение аппаратно-зависимых требований по надежности.

4) Сформулированы основные факторы, влияющие на построение надежных алгоритмов, с учетом специфики объекта автоматизации.

Основные положения диссертации, выносимые на защиту:

1) Математическая модель алгоритма работы объекта автоматизации в виде множества слабосвязанных г-автоматов.

2) Методы построения входного языка.

3) Алгоритмы решения практических задач автоматизации экспериментальных работ при отработке новых наукоемких технологий.

4) Результаты решения реальных задач автоматизации исследований, анализ которых показал практическую ценность созданной методики.

Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Зюбин, Владимир Евгеньевич

Выводы:

Рассмотрены результаты применения предложенного языка -Средства Программирования Алгоритмов Работы

Микроконтроллеров(СПАРМ) - в задачах управления сложными объектами автоматизации.

Исследование применимости языка СПАРМ проводилось на задаче автоматизации установки для выращивания монокристаллического кремния диаметром до 250 мм методом вытягивания из расплава (метод

Чохральского). Эта задача, решаемая в рамках гос.программы "Кремний России" совместно с Красноярским машиностроительным заводом, предъявляет к управляющему алгоритму комплекс требований, приближенный к полному набору требований АСУ ТП, а объект управления предполагает проведение серии экспериментальных работ, т.е. относится к сложным объектам автоматизации.

Этап адаптации языка СПАРМ для системы на базе микроконтроллера i80C196NT с системной магистралью Multibus подтвердил декларированные при разработке свойства переносимости.

На разрабатываемом языке был реализован алгоритм работы УВМК, исполняющийся в микроконтроллерном ядре системы управления. Алгоритм работы УВМК имеет б уровней иерархии (без учета ветвей обработки аварийных ситуаций) и представлен в виде комбинации более 300 слабосвязанных процессов.

Наличие в микроконтроллерном ядре общей оперативной памяти, доступной через системную магистраль, и способ организации параллелизма позволили организовать виртуально-однородную среду для исполнения управляющей программы, в которой становится несущественным конкретный процессор - носитель исполняемого кода групп конкурирующих процессов. Это свойство использовалось при распределении процессов по процессорам микроконтроллерного ядра, которое было проведено на стадии реализации алгоритма, исходя из соображений эффективности и требуемого времени реакции. В результате для 90% процессов время реакции на внешнее событие составило около 100 мс, для 10% - 10 мс. Написанные отдельно коммуникационно-интерфейсные функции были реализованы на языке Си и встроены в программу штатными средствами языка.

В процессе эксплуатации созданного ПО были получены результаты, подтверждающие эффективность предлагаемого подхода.

ЗАКЛЮЧЕНИЕ

В диссертации предлагается оригинальный подход для проектирования управляющих алгоритмов объектов автоматизации повышенной сложности, использующий текстовый входной язык -Средство Программирования Алгоритмов Работы Микроконтроллеров (СПАРМ), реализующий расширение классической теории конечных автоматов, представляющий полный алгоритм в виде множества слабосвязанных процессов и позволяющий перенести функциональную наполненность алгоритма на уровень взаимодействия между этими процессами, организуемый в виде произвольной иерархической структуры.

Предложенная в виде Н-автомата модель объекта управления является новой и может применяться для автоматизации технологических процессов в различных областях промышленности и научном эксперименте, в частности, в условиях "критических" производств на предприятиях металлургической и химической промышленности, атомных электростанциях, предприятиях космической индустрии.

Конструкция языка способствует четкому стилю программирования, в котором программы легко читаются и модифицируются, а листинги программ могут служить в качестве удобной формы документирования запрограммированных алгоритмов. Синтаксис языка представлен в русскоязычном варианте, что не исключает его замены на любой другой (в частности, англоязычный вариант). Язык предоставляет полный доступ к портам и ячейкам памяти. Результатом работы транслятора является текст программы на языке программирования Си, что обеспечивает переносимость программ и оптимизацию по объему исполняемого кода при невысоких (по сравнению с компиляционной и интерпретационной моделью трансляции) накладных расходах на сопровождение. Дополнительно к выходному тексту транслятор создает файл листинга обрабатываемой программы и файл привязки используемых переменных к интерфейсной аппаратуре, который в последующем может быть использован в интегрированной среде разработки.

В диссертации получены следующие основные результаты:

1) На основе анализа методологических аспектов процесса проектирования построена концептуальная модель объекта автоматизации.

2) Разработана математическая модель управляющего алгоритма, позволяющая представить алгоритм работы объекта автоматизации в виде совокупности слабосвязанных параллельно-исполняемых процессов.

3) Предложен входной язык описания алгоритмов работы реализующий разработанную математическую модель.

4) Реализованы алгоритмы:

- разбора синтаксиса и семантики входной последовательности,

- эквивалентного преобразования входного языка в язык Си.

5) Подтверждена эффективность разработанной методологии апробацией на задачах проведения серии экспериментальных работ по исследованию процесса кристаллизации и автоматизации процесса выращивания монокристаллического кремния методом Чохральского.

Список литературы диссертационного исследования кандидат технических наук Зюбин, Владимир Евгеньевич, 1998 год

ЛИТЕРАТУРА

1. Miller J.S. Two-Dimensional Characteristics of HAL, A Language for Spaceflight Applications. - SIGPLAN Notices, 1972.

2. Rombouts T., Kinnersley W. The Language List. Collected information on about 1225 computer languages, past and present, 1991.

http://linuxpc.transfer.uni-dortmund.de/~Schrey/sprachen.txt

3. Шенброт И.M. Системы программно-логического управления и их применение. - М.: ВИНИТИ, 1986.

4. Баранов С.И. Синтез микропрограммных автоматов. - М.: ЭНЕРГИЯ, 1974.

5. Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. Поведение и синтез. - М.: НАУКА, 1970.

6. Гаврилов М.А. Теория релейно-контактных схем. - Изд-во АН СССР, 1950.

7. Таль А.А. Анкетный язык и абстрактный синтез минимальных последовательных машин. - Автоматика и телемеханика, No 6, 1964

8. ЯРУС - язык описания работы сложных автоматов. Автоматика и телемеханика/ Кузнецов О.П, Макаревский А.Я., Марковский А.В., Окуджава В.HI., Шипилина Л.Б. - Автоматика и телемеханика, No 6-7, 1972 .

9. HTML-версия стандарта IEC 1131-3. - МЭК, 1997. ftp://ftp.cle.ab.com/atds/iec/sc65bwg7tf3/html/welcome.htm

10. IEC 1131-3. Языки программирования ПЛК в вопросах и ответах. - МЭК, 1997.

ftp ://ftp.cle.ab.com/atds/iec/sc65bwg7tfЗ/html/faq.htm

11. PLCOpen. Введение. - PLCOpen, 1997. http://www.plcopen.org/

12. PLCOpen. Устав Ассоциации. - PLCOpen, 1997. http://www.plcopen.org/artass.htm

13. PLCOpen. Сертифицированные продукты. - PLCOpen, 1997. http://www.plcopen.org/certpr.htm

14. ISaGRAF User's Manual. - CJ International, 1994.

15. ISaGRAF IEC 1131-3 Soft logic - Home page. - CJ International, 1998.

http://www.isagraf.com/

16. Guidlines on Software Languages for use in Nuclear Power Plant Safety Systems/ Decker D., Dinsmore G., Graff S., Green W., Hecht H., Justice M., Koch S., Lin D., Ossia K., Pollard J., Shokri E., Sorkin A., Tai A., Tso K.S., Wendelboe D. - NRC, 1997. http://www.nrc.gov/NRC/NURREGS/SR64 63/index.htm

17. Crater K. When Technology Standards Become Counterproductive. - Control Technology Corporation, 1996. http://www.control.com/language/counter.htm

18. Материалы Internet-конференции The Automation List, -Control Technology Corporation, 1997.

http://www.control.com/alist, subjects: INFO, LANG: IEC and PLCOpen; INFO, LANG: IEC 1131-3 and ISaGRAF

19. Lauer T. Porting to Win32. - Springer-Verlag New-York Berlin Heidelberg, 1996.

20. PLCOpen. Новые технические комитеты и оперативные группы. - PLCOpen, 1997.

http://www.plcopen.org/newtc_pc.htm

21. Члены IEC SC65B/WG7/TF3 (Языки программирования ПЛК). -МЭК, 1997.

ftp://ftp.cle.ab.com/atds/iec/sc65bwg7tf3/html/tf3.htm

22. IEC 1131-3. Scope. - МЭК, 1997.

ftp://ftp.cle.ab.com/atds/iec/sc65bwg7tf3/html/sl-l.htm

23. IEC 1131-3. Overview. - МЭК, 1997.

ftp://ftp.cle.ab.com/atds/iec/sc65bwg7tfЗ/html/si-4.htm

24. Base Level Feature Tables. Certification and exchange standardization. - PLCOpen, 1997.

http://www.plcopen.org/baselvle.htm

25. Зюбин B.E. Средство программирования алгоритмов работы микроконтроллеров - СПАРМ. В кн.: Распределенная обработка информации: Тр./Пятый международный семинар. - Новосибирск, 1995, С.86-91.

26. Thayer R. Software Reliability Study. - Rome Air Development Center report RADC TR 76-238, March, 1976

27. Янг С. Алгоритмические языки реального времени: конструирование и разработка - М.: Мир, 1985.

28. Кнут Д. Искусство программирования для ЭВМ.- М.: Мир,

1976.

29. Хоор К. О структурной организации данных. В кн.: Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М.: Мир, 1978.

30. Кожара B.J1. Классификационная проблема. - Борок, 1984. Деп. в ВИНИТИ 05.11.84, N 7149-84.

31. Розова С.С. Классификационная проблема в современной науке. - Н.: Наука, 1986.

32. Классификация в современной науке: - Сб.статей. - Н.: Наука, 1989.

33. Воронин Ю.А. Теория классифицирования и ее приложения. -Н.: Наука, 1985

34. Miller G. A. The Magical Number Seven, Plus Or Minus Two: Some Limits On Our Capacity For Processing Information - The Psychological Review, Vol.63, No 2, 1956.

35. Ericsson A., Kintsch W. "Long-Term Working Memory",

1996.

http://cogsci.soton.ac.uk/-harnad/Papers/Py104/ericsson.long.html

36. Аджиев В. Объектная ориентация: философия и футурология. - Открытые системы, No.6, 1996.

http://www.osp.ru/

37. Сван Т. Освоение Borland С++ 4.5. - Киев:"Диалектика",

1996

38. Щедровицкий Г.П. Два понятия системы. - В кн.: Избранные труды. М.: Шк.Культ.Полит., 1995

39. Хазин Б. Мост над пропастью. - Открытые системы, No.l, 1996. http://www.osp.ru/

40. Brave Y., Heymann M. Control of discrete event systems modeled as hierarchical machine. - IEEE Transactions on Automatic Control, 1993

41. Shanmungham S.G., Roberts C.A. Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison - International Journal of Computer Integrated Manufacturing, Vol. 11, No.2, 1998

42. Зюбин B.E. Исследование условий применимости языка параллельного программирования СПАРМ для задач построения надежных управляющих программ // Распределенная обработка информации:

Тр./Шестой международный семинар. - Новосибирск, 1998.

43. Bowen Т.P., Wigle G.B., Tsai J.T. Specification of Software Quality Attributes. - Report, 3 Vols. RADC-TR-85-37, 1985.

44. McDermid J.D., ed., Software Engeneer's Reference Book.

- CRC Press, Inc., Cleveland, Ohio, 1993.

45. Parnas D.L., A.J. van Schouwen, Kwan S.P. Evaluation of Safety Critical Software. - Communications of the ACM, Vol. 33, No 6, 1990

46. Smith D.J., Wood K.B. Engineering Quality Software: A review of Current Practices, Standards, and Guidelines Including New Methods and Development Tools. - New York: Elsevier Applied Sciences, 1989.

47. Зюбин B.E. Язык СПАРМ - средство программирования микроконтроллеров. - Автометрия, No 2, 1996.

48. Вирт Н. Долой 'жирные' программы. - Открытые системы, No 6, 1996.

http://www.osp.ru/

49. Хантер P. Проектирование и конструирование компиляторов.

- М.: ФИНАНСЫ И СТАТИСТИКА, 1984.

50. Вирт Н. Алгоритмы+структура данных=программы. - М.: Мир,

1985.

51. Страуп Б. Язык программирования Си++. - М.: Радио и связь, 1991.

52. Лодиз Р., Хантер Р. Рост монокристаллов. - М.: Мир,

1974.

53. Комплекс стандартов и руководящих документов на автоматизированные системы. Комитет стандартизации и метрологии СССР. - М.: Издательство стандартов, 1991.

54. Автоматизированная система управления установкой для выращивания монокристаллов кремния/ Булавский Д.В., Зюбин В.Е., Карлсон Н.Н., Криворучко В.О., Миронов В.В. - Автометрия, No 2, 1996.

55. Зюбин В.Е. Проектирование алгоритмов работы микроконтроллеров. - Приборы и системы управления, No 1, 1998.

56. Embedded Microcontrollers: Intel Corp., 1994.

57. Flash Memory. Vol. I: Intel Corp., 1994.

58. Темников Ф.Е., Афонин В.А., Дмитриев В.И. Теретические основы информационной техники - М.: Энергия, 1979

59. 7В Series User's Manual: Analog Devices Inc., 1992.

60. Borland С++ Programmer's Guide: Borland Intern., 1992.

ПРИЛОЖЕНИЕ 1. Список резервированных слов

N пп Резервированное слово Назначение и использование

1 Прогр используется при указания имени программы

2 ТАКТ используется для задания интервала между критическими моментами

3 ВХОД используется для описания портов ввода

4 КОНСТ используется для описания констант

5 ВЫХОД используется для описания портов вывода

б ОЗУ используется для описания ячеек памяти, используемых в качестве порта ввода-вывода

7 ПРОЦ используется при описании процесса

8 СОСТ используется при описании состояния

9 ЛОГ используется при описании переменных, указывает на то, что переменная логическая

10 ЦЕЛ используется при описании переменных, указывает на то, что переменная целая

11 ЛОКАЛ используется при описании переменных, указывает на то, что переменная локальная

12 ВСЕХ используется при описании переменных для указания степени доступа

13 ДЛЯ используется при описании переменных

14 ВСЕХ употребляемое с резервированным словом ДЛЯ указывает на то, что переменная доступна из любого процесса, употребляемое с резервированным словом ПРОЦ указывает на то, что переменная доступна только определенным процессам

15 ИЗ резервное слово, употребляемое с резервированным словом ПРОЦ, используется для указания переменной, которая описана в другом процессе

N пп Резервированное слово Назначение и использование

16 СТОП используется для перевода процесса в состояние нормального останова

17 ОШИБКА используется для перевода процесса в состояние останова по ошибке

18 СТАРТ используется для перевода процесса в начальное состояние

19 ПАУЗА используется для перевода процесса в состояние пауза

20 ЕСЛИ условный оператор

21 ТО условный оператор

22 В используется при описании условий перехода процесса в другое состояние, употребляемое с резервированным словом СОСТ, используется для описания ситуационной переменной

ПРИЛОЖЕНИЕ 2. Приоритеты операций

Для каждой группы операций в нижеследующей таблице приоритеты одинаковы. Чем выше приоритет группы операций, тем выше она расположена в таблице. Порядок выполнения определяет группировку операций и операндов (слева направо или справа налево), если отсутствуют скобки и операции относятся к одной группе.

1 логическое отрицание справа налево

побитовое отрицание

* умножение

/ деление слева направо

а о деление по модулю

+ сложение слева направо

- вычитание

<< сдвиг влево слева направо

» сдвиг вправо

< меньше, чем слева направо

<= меньше или равно

> больше, чем

больше или равно

== равно слева направо

1 = не равно

& побитовая операция И слева направо

А побитовая операция исключающее ИЛИ слева направо

1 побитовая операция ИЛИ слева направо

&& логическая операция И слева направо

1 1 логическая операция ИЛИ слева направо

= присваивание справа налево

ПРИЛОЖЕНИЕ 3. Синтаксический граф СПАРМ

(программа^-— Прогр —Имя - { —Такт ^онсташпы / 3 ("" С0писаииепоРта

(описание процесса)-~у~~~ }

С

Такт

ТАКТ —Ч Число

( °онстаинты )Н КОНСТ ЬЧ ^ Укисло

(Описание порта

ВХОД

/ ■

ВЫХОД

ОЗУ

( Имя *""С Лфес по шине ^-^(Адрес —(Длина порта

^ Адрес по шине у~-{Число —-

(Адрес^—*-(число — (Длина портаУ

(Описание процесса)—— ПРОЦ ^ Имя ( —

(Список у переменных

Список переменных

тС

Описание переменной

Описание состояния

ЛОКАЛ

ДЛЯ

ПРОЦ

ВСЕХ

ИЗ

ПРОЦ

Имя )-^ Имя

( переменяй

ЦЕЛ ->

( —я Ы^К^УЧ^Уе^

/?ело\ \состояния]

О-

Описание функции выходов

7<

Описание функции переходов

ПАУЗА

-(число

Состояние после паузы

КБ

Г Состояние после паузы )

Имя

Описание функции выходов

У

(Значение "упеременной ]

СТОП

СТАРТ

ОШИБКА

ПРОЦ —-(Имя У

/ Значение Х^^у^ГТу^/условие У— ^переменной ) ч__—/ — \___/

С

Описание функции переходов_

>

ЕСЛИ

Условие У-^Ти^оМТ!-—"МТТ-у ' _ и!_Г хсостояжу/ Ц_Г

( -^-{Условие ) ТО

СОСТ

(Условие у—•~(Операнд-1у-

Логическое ИЛИ^-

(Операнд-1)——{Операнд-2у

^ Логическое Иу-{Ъперанд-2)—^(операнд^зу

С

&&

„

Битовое ИЛИ

>

(Операнд-^——(Операнд-4у

(битовое искл. ИЛИ~\-

(Ъперанд—•~(операнд-5\-

Битовое И

(Ъперанд-Ь)—*-(Ъперанд-бу

Не равно ^ Равно

(Ъперанд-(?)——(операнд-7у-

Имя ~У-

^—(операнд-^—-

Логическое ИЛИ

^-(Ъперанд-2)-* Логическое И

^—(операнд-Зу--

Битовое ИЛИ

^-(операнд-4у*

Битовое искл. ИЛИ

У

^—(Операнд-5) - Битовое И ^

^—(Операнд-6) -

Не равно

Равно

^—(Операнд-7) « Меньше

Больше чем или равно^

(Операнд-^——(операнд-ву-

^—(Операнд-ву«—^—Сдвиг влево

Сдвиг влево ( Сдвиг вправо ~У~

Сдвиг вправо

(Операнд-^)——(Операнд-9у-

ч

Операнд-Эу-—г—Сложение

С