About a fault-tolerant multiprocessor control system in a pre-dangerous state

Romankevich, A. M.; Feseniuk, Andrii; Romankevich, Vitaliy; Sapsai, Tetiana

doi:10.1109/dessert.2018.8409129

Cited by 4 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Accordingly, their CS must also be highly reliable. Therefore, it is convenient to perform them on the basis of the so-called fault-tolerant multiprocessor systems (FTMS) [6,7], [8,9], [10,11], [12], consisting of several processors and being resistant to the failure of some of them. In this way, high levels of both reliability and performance of these systems can be achieved, which is also often important for CAS.…”

Section: Introductionmentioning

confidence: 99%

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

Romankevich,

Morozov,

Romankevich

et al. 2024

HAIT

View full text Add to dashboard Cite

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-basicsystem, unlike the basicsystem, is resistant to somefailures of increased multiplicity, or else, on the contrary, the non-basicsystem is vulnerableto certain failures that do not lead to the failure of the basicsystem. In this case, the condition under which the system’s behavior differs from the baselinecorresponds to a Boolean expression, thatdepends 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, amodel of such system is built by adding an edge or several edges to the so-called MLE-model, atype of GL-model, thatcan be constructed for any basicsystem and isbased 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 simplifythe procedure for assessing the connectivityof 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 examplesthat demonstratethe process of constructing GL-models for non-basicfault-tolerant multiprocessor systemsusingthe proposed method for both of the above cases.

show abstract

Section: Introductionmentioning

confidence: 99%

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

Romankevich,

Morozov,

Romankevich

et al. 2024

HAIT

View full text Add to dashboard Cite

show abstract

“…Furthermore, the management of such objects often involves solving problems with a rather high computational complexity. The use of fault-tolerant multiprocessor systems (FTMS) [6,7], [8,9], [10,11], [12] as CS allows achieving the required level of both reliability and performance [13,14].…”

Section: Introductionmentioning

confidence: 99%

On the method of building of non-basic GL-models which are formed on combination of edge functions of basic models

Romankevich,

Morozov,

Romankevich

et al. 2024

AAIT

View full text Add to dashboard Cite

Thiswork is dedicatedto the problem of building GL-models of behaviorof non-basicfault-tolerant multiprocessor systems in the failure flow. Such models can be used to calculate the reliability parameters of the latter. The system, depending on the fulfillment of certain conditions, is resistant to failures of various multiplicities. These conditions depend only on the states of the system's processors and can be represented by special Boolean expressions. A method ofconstructing GL-models of such systems based on combining expressions of the edge functions of auxiliary basicmodelsis proposed. At the same time, the specific featureof the models that were built by the proposed methodis that they are based on cyclic graphs. This simplifies the process of evaluating their connectivity and also simplifies the analysis of the model's operation. In addition, this allows usingother methods of modifying GL-models if necessary. The method involves usingauxiliary models that have the same number of edges.In order toequalize the number of edges, auxiliary models can be extendedwith additional edges with edge functions of a special type. It is shown that this extensiondoes not change the behavior of the models. In particular, theprocedure oforthogonalization ofthe Boolean expressions is described, which should be carried out if the conditions can be satisfiedsimultaneously. It is shown that the expressions of the edge functions of the obtained GL-models, which can be quite complex, can sometimes be significantly simplified. Numerous experiments have been conducted to confirmthe adequacy of the models (builtby the proposed method) to the behavior of the corresponding systems in the failure flow. Theexample is given to demonstratethe application of the proposed method.The resulting model is analyzed and shown to correspond to the behavior of the system forwhich it was built.

show abstract