OberonCore
https://forum.oberoncore.ru/

ПЛК, стандарты, языки разработки, проблемы, альтернативы
https://forum.oberoncore.ru/viewtopic.php?f=152&t=5978
Страница 1 из 1

Автор:  Илья Ермаков [ Четверг, 15 Декабрь, 2016 14:42 ]
Заголовок сообщения:  ПЛК, стандарты, языки разработки, проблемы, альтернативы

Зафиксируем известный ГОСТ Р 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. В части разработки систем управления:
уровень абстракции ввода-вывода ("теги") для использования с любыми нижележащими ПЛК;
"умные теги" (вычисляющие время удержания текущего значения сигнала, сглаживание "дребезга" и т.п.);
средства предметно-ориентированного программирования и формализации алгоритмов управления:
-- абстракции описания структуры объекта и графа потоков продукта;
-- абстракции описания "виртуальных контроллеров" с помощью модели состояний и переходов между состояниями;
-- типовые соглашения о записи контрольных правил и соотношений относительно пространства состояний системы управления;
модель взаимодействия -- обмен сообщениями между виртуальными контроллерами узлов (это даёт свободу в переходе к распределённой архитектуре управления);

Автор:  Илья Ермаков [ Четверг, 15 Декабрь, 2016 15:47 ]
Заголовок сообщения:  Re: ГОСТ Р 51840-2001 (МЭК 61131-1-92) Программируемые контр

В продолжение темы:

В. Е. ЗЮБИН
(Институт автоматики и электрометрии СО РАН)
Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы

http://reflex-language.narod.ru/articles/05PLCprog.pdf

а также другие статьи:
http://reflex-language.narod.ru/articles/articles.htm

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/