Мораведж С. М. Методи і засоби оцінки технічної безпеки та розрахунку параметрів ефективності тестування і реконфігурації багатопроцесорних систем управління

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