OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 24 Май, 2018 03:26

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
СообщениеДобавлено: Четверг, 15 Декабрь, 2016 14:42 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 8945
Откуда: Россия, Орёл
Зафиксируем известный ГОСТ Р 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 16:03, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 15 Декабрь, 2016 15:47 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 8945
Откуда: Россия, Орёл
В продолжение темы:

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

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

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2018, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB