Романкевич В. О. Методи і засоби оцінки технічних характеристик гарантоздатності відмовостійких багатопроцесорних систем управління складними об’єктами

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