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

У дисертаційній роботі досліджуються і пропонуються методи та засоби, застосування яких дозволять підвищити ефективність розрахунку ймовірності безвідмовної роботи (ІБР) відмовостійких багатопроцесорних реконфігуровних систем ВБС управління. В основу такого розрахунку покладено метод статистичних експериментів з графо-логічними моделями (GL моделями). На основі порівняльного аналізу за різними параметрами обґрунтовано вибір використання саме 2р-моделі для розрахунку ІБР. Запропоновано модифікацію відомого методу, а також запропоновано новий алгоритм формування функцій базових ребер 2р моделі, показано, що зазначені методи мають меншу складність. Запропоновано ряд співвідношень для GL моделей, що дають можливість прогнозувати складність моделей небазових ВБС ще до проведення процедури модифікації. Пропонується автономний апаратний генератор двійкових векторів заданої ваги, побудований на основі керованих зсувних регістрів. Обґрунтовується доцільність застосування такого рішення для моделювання станів системи. Запропоновано структуру спеціалізованої обчислювальної системи розрахунку ймовірності безвідмовної роботи ВБС, в якій реалізовані основні результати, отримані в дисертації.