Метод побудови GL-моделей складних небазових відмовостійких багатопроцесорних систем

Анотація

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