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

Дисертація присвячена розробці методів та засобів, що дають можливість більш ефективно визначати параметри відмовостійких багатопроцесорних систем. Запропоновано нові методи організації діагностичного експерименту в самодіагностовних багатопроцесорних ситемах, що дозволяють визначити та мінімізувати кількість елементарних перевірок та кількість тактів експерименту, націленого на визначення стану всіх процесорів системи. Запропонована нова модель поведінки відмовостійкої багатопроцесорної системи у потоці відмов, розроблені методи її трансформації в залежності від зміни ступеню відмовостійкості системи.Основою системи є граф, ребра якого позначаються булевими функціями; аргументи цих функцій - це стан процесорів системи, наявність кожного ребра визначається значенням його функції.