Зафиксируем известный ГОСТ Р 51840-2001 (МЭК 61131-1-92) "Программируемые контроллеры"
тут.
http://gostrf.com/normadata/1/4294816/4294816968.pdfЕсть там одна интересная фраза (на с. 8, с.12 в PDF):
Цитата:
4.8.3 Разработка, тестирование и обслуживание прикладной программы
Прикладная программа является ключевым компонентом всей автоматизированной системы. Большинство ПК (тут Программируемый Контроллер) обладают достаточной вычислительной мощностью для того, чтобы обеспечить функции диагностирования одновременно при выполнении минимальных функций управления.
Необходимо предусматривать также процедуры моделирования поведения установки\процесса и соответствующую идентификацию ошибочных условий
Эту формулировку можно (и нужно) инерпретировать так, что прикладная программа должна содержать не просто управляющую логику, а быть организована как исполняемая модель управляемого процесса. С соответствующим уровнем формализации и абстракции. А так же динамическим контролем состояний на допустимость по этой модели. Т.е. минимально это уровень автоматной формализации (SWITCH-технологии Шалыто или языка Рефлекс Евгения Зюбина). Но это, я считаю, только базовый уровень.
Чего мы и добивались в своих проектах
http://www.inr.ac.ru/~info21/oberon_inn ... onAgro.htmЦитата:
Функциональность платформы ERSY Control:
1. В части разработки систем управления:
уровень абстракции ввода-вывода ("теги") для использования с любыми нижележащими ПЛК;
"умные теги" (вычисляющие время удержания текущего значения сигнала, сглаживание "дребезга" и т.п.);
средства предметно-ориентированного программирования и формализации алгоритмов управления:
-- абстракции описания структуры объекта и графа потоков продукта;
-- абстракции описания "виртуальных контроллеров" с помощью модели состояний и переходов между состояниями;
-- типовые соглашения о записи контрольных правил и соотношений относительно пространства состояний системы управления;
модель взаимодействия -- обмен сообщениями между виртуальными контроллерами узлов (это даёт свободу в переходе к распределённой архитектуре управления);