Мірошник М. А. Моделі та методи синтезу інтелектуальної діагностичної інфраструктури розподілених комп'ютерних систем

Об'єкт дослідження: процес синтезу діагностичної інфраструктури для відмовостійких розподілених комп'ютерних систем. Мета дослідження: підвищення надійності та відмовостійкості розподілених комп’ютерних систем на основі розвитку теоретичних основ, концепції та архітектурно-структурної організації діагностичної інфраструктури з інтелектуальними властивостями, розробки моделей і методів синтезу легкотестованих модулів сигнатурного моніторингу, діагностичних експериментів і вирішення завдань раціонального управління процедурами діагностування відмов та відновлення працездатності. Методи дослідження: методи теорії масового обслуговування та марковських процесів для вирішення задачі раціонального управління процесами диспетчеризації, запитів на тестове діагностування процесорних модулів і виявлення переміжних несправностей; методи технічної діагностики, які застосовані для розробки функціональних і тестових засобів діагностування РКС та компонентів; методи теорії графів, використані під час розробки графових моделей РКС; методи теорії цифрових автоматів – для організації діагностичних експериментів з автоматними моделями функціональних модулів РКС, розробки концепції сигнатурного моніторингу та вбудованих легкотестованих програмно-апаратних засобів діагностування, які легкотестуються. Теоретичні і практичні результати: полягають у розробці та обгрунтуванні перспективної концепції побудови інтелектуальної ДІ, легкотестованих модулів сигнатурного моніторингу БПСОД, що є теоретичною основою для вирішення практичних завдань та архітектурно-структурної організації ДІ-ІС, яка забезпечує раціональне управління процедурами діагностування БПСОД, методи синтезу легкотестованих моделей ДІ-ІС для вирішення конкретних практичних завдань. Новизна: Вперше запропоновані та розроблені основи теорії, концепція та архітектурно-структурна організація діагностичної інфраструктури з інтелектуальними властивостями РКС, в якій поєднані процедури онлайнового тестового, функціонального діагностування, відновлення працездатності та раціонального управління диспетчеризацією процесів діагностування та обробки даних. Вперше розроблена графова діагностична ПМЧ модель МПСОД; вперше розроблені методи модифікації односпрямованих інтеративних обчислювальних мереж (ІОМ) і синтезу перевірних послідовностей. Вперше розроблені методи синтезу перевірних тестів з використанням циклічних і характеристичних символів автоматних моделей осередків ІОМ; удосконалено математичний інструментарій і метод розв'язання задачі диспетчеризації процесів тестового діагностування модулів РКС у ДІ-ІС шляхом групової вибірки запитів з індивідуальною сегментацією та підвищенням оперативності обробки запитів раціоналізації управління процесами діагностування та відновлення працездатності. Ступінь упровадження: НАУ “ХАІ” (м. Харків). ПрАТ “Енергооблік” (м. Харків). ДП "Проектно-конструкторське технологічне бюро з автоматизації систем управління на залізничному транспорті України" (м. Київ). Інститут сцинтиляційних матеріалів (м. Харків). Галузь використання: під час вирішення комплексу завдань, пов'язаних з розробкою і проектуванням модулів ДІ-ІС на мережах клітинних автоматів, які адаптовані до реалізації на ПЛІС типу FPGA з підвищенням достовірності процедур тестового, функціонального діагностування і відновлення працездатності БПСОД без деградації продуктивності та виключенням необхідності виконання трудомістких процедур генерації перевірних тестів і моделювання несправностей.