Язык Рефлекс – диалект Си для программирования ПЛК

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

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

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

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

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

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

Процесс

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

Процесс управления клапаном
0
0
1
1

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

Структура программы. Язык Reflex
ПРОГРАММА
Задание такта
Описание z1
Описание zi
Описание zj
Описание
переменных
описание состояния s1
описание состояния sk
описание состояния sl
Тип переменной
Привязка к
физическим портам
Степень доступа
ПРОЦЕСС
Анализ событий
формирование
реакции
ПЕРЕМЕННЫЕ
СОСТОЯНИЕ

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

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

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