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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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