Язык Рефлекс – диалект Си для программирования ПЛК Зюбин В.Е. Тем.группа «Языки технологического программирования» - презентация

1 Язык Рефлекс – диалект Си для программирования ПЛК Зюбин В.Е. Тем.группа «Языки технологического программирования»

2 Программируемые логические контроллеры – ядро системы автоматизации Датчики Клапаны Насосы Двигатели Нагревател и

3 Средства программирования ПЛК u Простота изучения u Ограничение на сложность алгоритма u Высокая стоимость сопровождения и адаптации

4 Язык Рефлекс. Цели создания u Удобство описания управляющих алгоритмов u Легкость изучения u Простота сопровождения

5 Специфика задач управления u Наличие внешнего объекта u цикличность u синхронизация с процессами на объекте u параллелизм Объект управления СистемаУправления События Обработка Реакция События Обработка Реакция События Реакция

6 Язык Рефлекс. Базовые концепции u Диалект языка Си (легкость изучения и сопровождения) u Расширение языка концептом ПРОЦЕСС u Построение программы в виде совокупности процессов

7 S2S2 S3S3 СТОПОШИБКА S1S1 Процесс u Набор функций - состояний процесса u Активные состояния u Пассивные состояния

8 S2S2 S3S3 СТОП S1S1 Процесс S2S2 S3S3 S1S1 S2S2 S3S3 S1S1 S2S2 S3S3 S1S1 S2S2 S3S3 S1S1 СТОП S2S2 S3S3 S1S1 S2S2 S3S3 S1S1 ОШИБКА СОБЫТИЯ РЕАКЦИЯ

9 Управление клапаном 0 0 У_Клапана = К_Клапана = 1 1

10 S2S2 СТОПОШИБКА S1S1 СТОП S1S1 У_Клапана = 1; В СОСТ S2; S2S2 ЕСЛИ (К_Клапана ==1) СТОП; ТАЙМАУТ Три_Секунды ОШИБКА; S2S2 ЕСЛИ (К_Клапана ==1) СТОП; ТАЙМАУТ Три_Секунды ОШИБКА; СТОП S2S2 ЕСЛИ (К_Клапана ==1) СТОП; ТАЙМАУТ Три_Секунды ОШИБКА; S2S2 ЕСЛИ (К_Клапана ==1) СТОП; ТАЙМАУТ Три_Секунды ОШИБКА; ОШИБКА Процесс управления клапаном

11 Фрагменты текста программы ПРОЦ Вакуумирование{... СОСТ ВключениеНасосов{ СТАРТ ПРОЦ ВключениеНасосов; В СЛЕДУЮЩЕЕ; } … } ПРОЦ ВключениеНасосов{... СОСТ ВключениеВыхлопа{ СТАРТ ПРОЦ ВКЛ_VE1; В СЛЕДУЮЩЕЕ; } СОСТ ПроверкаВключения{ ЕСЛИ (ПРОЦ ВКЛ_VE1 В СОСТ СТОП) СТОП; ЕСЛИ (ПРОЦ ВКЛ_VE1 В СОСТ ОШИБКА) ОШИБКА; } ПРОЦ ВКЛ_VE1{ СОСТ ВключениеВыхлопа{ У_ВКЛ_VE1 = ВКЛ; В СЛЕДУЮЩЕЕ; } СОСТ ПроверкаВключения{ ЕСЛИ (К_VE1 == ВКЛ) СТОП; ТАЙМАУТ ТРИ_СЕК ОШИБКА; }

12 Структура программы. Язык Reflex ПРОГРАММА Задание такта Описание z 1 Описание z i Описание z j Описание переменных описание состояния s 1 описание состояния s k описание состояния s l Тип переменной Привязка к физическим портам Степень доступа ПРОЦЕСС Анализ событий формирование реакции ПЕРЕМЕННЫЕ СОСТОЯНИЕ

13 Процесс создания программ Выработка решения Текст на Рефлексе Текст на Рефлексе Трансляция в Си Трансляция в Си Трансляция в.EXE-файл Трансляция в.EXE-файл Загрузка Загрузка Отработка Отработка Реализация и отработка

14 Отработка языка Reflex

15 Результаты u проблемно-ориентированное расширение языка Си для описания алгоритмов работы систем логического управления u русскоязычный синтаксис u практическая апробация с 1990 г u сильные структурирующие свойства u переносимость, надежность, гибкость

16 Планы u свободное распространение языка u исследование языка на различных архитектурах и технологиях u развитие языка (интегрированные среды разработки и т.п.) u разработка курсов ФИТ/АФТИ по изучению языка и стратегий управления