Про модифікацію GL-моделей шляхом додавання ребер в циклічний граф

Анотація

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