Проектування та розробка програмного забезпечення промислових контролерів на базі графів станів

Анотація

Мета. Запропонувати формальний підхід до проектування та розробки програмного забезпечення системи керування. Методика. Основна маса завдань які розв’язуються сучасними системами автоматизації вимагає реалізації алгоритмів керування на основі кінцевих автоматів. При розробці програмного забезпечення систем керування доцільним є графічне представлення алгоритмів керування,так як їх проектування, аналіз та експлуатація більш зрозумілі консультантам. Тому запропонований підхід складається з трьох етапів: складання словесного опису алгоритму функціонування технологічного процесу, проектування програмного забезпечення системи керування у вигляді графу станів та розробки програмного забезпечення. Результати. В роботі проаналізовано сучасний стан питання проектування та розробки програмного забезпечення систем керування на базі промислових контролерів. На підставі чого встановлено, що на даний час відсутній системний підхід до цього питання, у технічній документації та літературі, а так само в навчальних курсах які надаються компаніями виробниками апаратного та програмного забезпечення промислових контролерів розглядаються тільки загальні питання пов’язані з використанням їх середовищ розробки та стандартних бібліотек. Виходячи з цього встановлено актуальність створення формального підходу до розробки програмного забезпечення промислових контролерів. Наукова новизна. Вперше запропоновано формальний підхід до проектування та розробки програмного забезпечення системи керування на базі програмованих логічних контролерівна мові Ladder Diagram. Практична значимість. Отриманий підхід дозволяє виконувати перехід від графів станів до їх програмної реалізації використовуючи лише типові структурні елементи та потребує тільки їх налаштування відповідно до умов та дій дуг переходів. Розвиток цього дослідження передбачає вирішення складних питань проектування та розробки програмного забезпечення промислових контролерів на базі графів станів з метою їх формалізації.