Про модифікацію графо-логічної моделі

Abstract

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

Базовая GL-модель отражает поведение отказоустойчивых многопроцессорных систем (ОМС) в потоке отказов, число которых не превышает допустимого. В случае, если уровень надежности разрабатываемой системы недостаточен, он может быть повышен путем организации устойчивости ОМС к некоторым отказам более высокой кратности. Для сохранения адекватности модели поведению системы в потоке отказов она может быть модифицирована, в частности, путем изменения ее реберных функций. В статье решается задача поиска критериев для выбора пар реберных функций, которые целесообразно модифицировать.

The basic GL-model represents the behavior of the fault-tolerant multiprocessor systems (FTMS) in a stream of failures, the number of which does not exceed the allowable value. If the reliability of the developed system is insufficient, it may be raised by providing tolerance of the FTMS to some failures of higher order. To maintain the adequacy of the model with behavior of the system in a stream of failures it can be modified, in particular by changing its edge functions. This paper solves the problem of finding criteria for selection of pairs of edge functions, that are expedient to be modified.