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

  Завантажити