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

brief description

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

Головир В.О.Моделі, метод та інформаційна технологія розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою. Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 автоматизовані системи управління та прогресивні інформаційні технології. Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут», Харків, 2007.
Дисертація присвячена розробці та вдосконаленню моделей, методу та інформаційної технології розробки багатоверсійних інформаційно-управляючих систем (ІУС) на базі автоматів з програмованою логікою (АПЛ). На підставі аналізу функцій ІУС критичного призначення багатоверсійних автоматів контролю та управління удосконалені автоматні моделі багатоверсійних ІУС. Побудова мережної моделі життєвого циклу багатоверсійних ІУС дозволила формалізувати задачу оптимального вибору видів багатоверсійності та отримати метод розробки багатоверсійних ІУС на базі АПЛ. У результаті аналізу видів багатоверсійності ІУС на базі АПЛ отримано метрики диверсності. Отримані результати застосовано при розробці ІУС для енергоблоків АЕС України, що дозволило обґрунтувати системотехнічні рішення та забезпечити виконання вимог щодо надійності та захисту систем від відмов.

1. У дисертаційній роботі вирішена актуальна науково-технічна задача, яка полягає у розробці моделей, методу та інформаційної технології підтримки прийняття рішень при проектуванні багатоверсійних інформаційно-управляючих систем на базі автоматів із програмованою логікою.
2. Вперше одержано метод розробки багатоверсійних інформаційно-управляючих систем на базі автоматів з програмованою логікою, який, на відміну від існуючих, базується на оптимізації вибору видів багатоверсійності за критерієм «диверсність/вартість», що дозволяє підвищити надійність систем.
3. Удосконалено автоматні моделі багатоверсійних інформаційно-управляючих систем на основі їхнього подання у вигляді композиції автоматів контролю та управління, а також уточнення функцій переходів і виходів для різних типів диверсності та варіантів побудови систем, що дозволяє сформувати множину їх архітектур.
4. Дістало подальшого розвитку метрики диверсності, які використовуються для вибору видів багатоверсійності при розробці інформаційно-управляючих систем на базі автоматів з програмованою логікою, що дозволяє розраховувати інтенсивність кратних відмов каналів системи, реалізованих за різними версіями.
5. Практичне значення результатів досліджень полягає у розробці сукупності апаратних і програмних рішень, інженерних методик і алгоритмів, що утворюють прикладну інформаційну технологію підтримки прийняття рішень при розробці та верифікації багатоверсійних ІУС на базі АПЛ. Впровадження цієї інформаційної технології у ЗАТ «Радій» (м. Кіровоград) при проектуванні ІУС АЕС дозволило забезпечити виконання вимог до багатоверсійності та до повноти верифікації систем. Зменшення кількості ручних операцій дозволило скоротити загальний час проектування систем на 10-20%.
6. Результати досліджень впроваджені на підприємствах машинобудівної галузі при проектуванні та виробництві програмно-технічних комплексів для атомних електростанцій; в Інституті ядерних досліджень НАНУ при введені до експлуатації ПТК АРКУЗ дослідницького реактору ВВР-М; у навчальному процесі Національного аерокосмічного університету ім. М.Є. Жуковського ХАІ”.
7. Вирішення дисертаційних задач та впровадження нових наукових і прикладних результатів у виробництві забезпечило підвищення надійності ІУС АЕС за показником відносного зниження інтенсивності відмов за загальною причиною, що визначає рівень їх безпеки, а також скоротити загальний час проектування систем.
8. Подальші дослідження та розширене використання результатів можливі у напрямку автоматизації процесу прийняття рішень при розробці ІУС критичного призначення з урахуванням різних обмежень та використовуваних компонент, а також для створення інформаційних технологій управління експлуатацією ІУС, важливих для безпеки АЕС, за гнучкими стратегіями.