Головир В. О. Моделі, метод та інформаційна технологія розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою

Об'єкт дослідження - процеси розробки та верифікації інформаційно-управляючих систем на базі автоматів з програмованою логікою. Мета дослідження - підвищення надійності багатоверсійних інформаційно-управляючих систем на основі вдосконалення методу й інформаційної технології їхньої розробки з використанням автоматів з програмованою логікою. Проведені дослідження ґрунтуються на використанні моделей та методикі верифікації АПЛ для багатокомпонентних ІУС . Науковими результатами досліджень є: метод розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою, який, на відміну від існуючих, базується на оптимізації вибору видів багатоверсійності за критерієм "диверсність/вартість", що дозволяє підвищити надійність систем; автоматні моделі багатоверсійних інформаційно-управляючих систем на основі їхнього подання у вигляді композиції автоматів контролю та управління, а також уточнення функцій переходів і виходів для різних типів диверсності та варіантів побудови систем, що дозволяє сформувати множину їх архітектур; метрики диверсності, які використовуються для вибору видів багатоверсійності при розробці інформаційно-управляючих систем на базі автоматів з програмованою логікою, що дозволяє розраховувати інтенсивність кратних відмов каналів системи, реалізованих за різними версіями. Ступінь упровадження - галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою багатоверсійних інформаційно-управляючих систем.