On the modification of GL-models by adding edges to a cyclic graph

Abstract

This work suggests a method for constructing GL-models of fault-tolerant multiprocessor systems. These models can be used, in particular, to estimate the reliability parameters of the latter by conducting statistical experiments with models of their behavior in the failure flow. Two cases are considered: the non-basic system, unlike the basic system, is resistant to some failures of increased multiplicity, or else, on the contrary, the non-basic system is vulnerable to certain failures that do not lead to the failure of the basic system. In this case, the condition under which the system’s behavior differs from the baseline corresponds to a Boolean expression, that depends on the values of the elements of the system state vector, which characterizes the states of its processors in the failure flow. According to the method proposed in the article, a model of such system is built by adding an edge or several edges to the so-called MLE-model, a type of GL-model, that can be constructed for any basic system and is based on cyclic graphs. The edge function for this edge is formed based on the aforementioned Boolean expression. The models constructed by the proposed method are also based on cyclic graphs, which, in particular, significantly simplify the procedure for assessing the connectivity of the last ones. A series of experiments have been conducted to confirm the adequacy of the models (obtained by the proposed method) to the behavior of systems in the failure flow. This work presents examples that demonstrate the process of constructing GL-models for non-basic fault-tolerant multiprocessor systems using the proposed method for both of the above cases.

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