Power-Oriented Checkabilityand Monitoring of the Currentconsumption in Fpga Projects of the Critical Applications

Drozd, Myroslav; Drozd, Oleksandr; Antoniuk, Viktor

doi:10.15276/aait.02.2019.2

Cited by 3 publications

(15 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Section: Examplesmentioning

confidence: 99%

“…Let us consider several variants of extra processors with probabilities of failure-free operation p10 (1) = 0.999, p10 (2) = 0.9995, p10 (3) = 0.9999. In the same way we can calculate probabilities of failure-free operation of the system, extended by the corresponding processors (considering that such a system will be already 3-fault-tolerant): P(S ← p10 (1) ) = 0.9999999999842588; P(S ← p10 (2) ) = 0.9999999999889713; P(S ← p10 (3) ) = 0.999999999992741. Therefore, ΔP(S ← p10 (1) ) = P(S ← p10 (1) ) -P(S) = 9.4153 • 10 -9 ; ΔP(S ← p10 (2) ) = P(S ← p10 (2) ) -P(S) = 9.42 • 10 -9 ; ΔP(S ← p10 (3) ) = P(S ← p10 (3) ) -P(S) = 9.42378 × × 10 -9 .…”

Section: Examplesmentioning

confidence: 99%

“…Note, that the process of direct calculation of the values of P(S ← p10 (1) ), P(S ← p10 (2) ) and P(S ← p10 (3) ) is quite complicated, so we will use the method proposed in the article. To do this, we calculate the value of P(S * )the probability that exactly 3 out of 10 processors in the system will fail: P(S * ) = 9.42472•10 -9 .…”

Section: Examplesmentioning

confidence: 99%

“…To do this, we calculate the value of P(S * )the probability that exactly 3 out of 10 processors in the system will fail: P(S * ) = 9.42472•10 -9 . Now we can easily calculate the reliability gain values: ΔP(S ← p10 (1) ) = p10 (1) • P(S * ) = 0.999 • 9.42472 × × 10 -9 = 9.4153 • 10 -9 , ΔP(S ← p10 (2) ) = p10 (2) • P(S * ) = 0.9995 • 9.42472 × × 10 -9 = 9.42 • 10 -9 , ΔP(S ← p10 (3) ) = p10 (3) • P(S * ) = 0.9999 • 9.42472 × × 10 -9 = 9.42378 • 10 -9 .…”

Section: Examplesmentioning

confidence: 99%

“…The probability of failure-free operation of the system described above P(S) = 0.9999999992112518. As in the previous case, let us consider several variants of extra processors with the probability of failure-free operation p10 (1) = 0.999, p10 (2) = 0.9995, p10 (3) = 0.9999 and calculate the probabilities of failure-free operation of the system extended by the corresponding processor: P(S ← p10 (1) ) = 0.999999999998017; P(S ← p10 (2) ) = 0.9999999999984108; P(S ← p10 (3) ) = 0.9999999999987258. Therefore, ΔP(S ← p10 (1) ) = P(S ← p10 (1) ) -P(S) = 7.86765 × × 10 -10 ; ΔP(S ← p10 (2) ) = P(S ← p10 (2) ) -P(S) = 7.87159 × × 10 -10 ; ΔP(S ← p10 (3) ) = P(S ← p10 (3) ) -P(S) = 7.87474 × × 10 -10 .…”

Section: Examplesmentioning

confidence: 99%

See 4 more Smart Citations

On evaluation of reliability increase in fault-tolerant multi processor systems

Romankevich,

Morozov,

Feseniuk

et al. 2024

AAIT

View full text Add to dashboard Cite

The work is devoted to the problem of evaluating the reliability increase of a fault-tolerant multiprocessor system by adding an extra processor to the system. It is assumed that the behavior of the modified system in the failure flow, in the case of the extra processor failure, does not differ from the behavior of the original system. The article describes both k-out-of-nsystems, and more complex ones, including hierarchical systems.An important feature of the proposed approach is that it involves the preliminary calculation of someadditionalauxiliaryvalues that do not depend on the reliability parameters of the added processor.Further, the reliability increase is assessed by substituting these parameter values into basicexpressions, which simplifies the selection of the optimal processor from the available set, sufficient to achieve the required level of system reliability, or confirms the impossibility of this.The proposed approach is compatible with any methods of calculating the reliability parameters of fault-tolerant multiprocessor systems but is particularly relevant for methods based on statistical experiments with models of system behavior in the failure flow, in particular, such as GL-models, due to the significant computational complexityof such calculations. In addition, for the simplest cases considered, k-out-of-nsystems with identical processors, a simple expression is proposed for an approximate estimateof the ratio of failure probabilities of the original and modified systems.Thehigher the reliability of the system processors, the higher the accuracy of such an assessment. Examples are given that prove the practical correctness of the proposed approaches.The calculation of the reliability system parameters, as well as auxiliary expressions, was based on conducting statistical experiments with corresponding GL-models.

show abstract

Section: Examplesmentioning

confidence: 99%

Section: Examplesmentioning

confidence: 99%

Section: Examplesmentioning

confidence: 99%

Section: Examplesmentioning

confidence: 99%

Section: Examplesmentioning

confidence: 99%

See 3 more Smart Citations

On evaluation of reliability increase in fault-tolerant multi processor systems

Romankevich,

Morozov,

Feseniuk

et al. 2024

AAIT

View full text Add to dashboard Cite

show abstract

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

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

Power-Oriented Checkabilityand Monitoring of the Currentconsumption in Fpga Projects of the Critical Applications

Cited by 3 publications

References 0 publications

On evaluation of reliability increase in fault-tolerant multi processor systems

On evaluation of reliability increase in fault-tolerant multi processor systems

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

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

Contact Info

Product

Resources

About