A failure-distance based method to bound the reliability of non-repairable Fault-tolerant systems without the knowledge of minimal cuts
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/7846
Tipus de documentReport de recerca
Data publicació2000-12-11
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
CTMC (continuous-time Markov chains) are a commonly used formalism for modeling
fault-tolerant systems. One of the major drawbacks of CTMC is the well-known
state-space explosion problem. This work develops and analyzes a method (SC-BM) to
compute bounds for the reliability of non-repairable fault-tolerant systems in which only
a portion of the state space of the CTMC is generated. SC-BM uses the failure distance
concept as the method described in [1] but, unlike that method, which is based on the
computation of exact failure distances, SC-BM uses lower bounds for failure distances,
which are computed on the system fault tree, avoiding the computation and holding of
all minimal cuts as required in [1]. This is important since computation of all minimal
cuts is NP-hard and the number of minimal cuts can be very large. In some cases SCBM
gives exactly the same bounds as the method described in [1]; in other cases it gives
less tighter bounds. SC-BM computes tight bounds for the reliability of quite complex
systems with an affordable number of generated states for short to quite large mission
times. The analysis of several examples seems to show that the bounds obtained by
SC-BM appreciably outperform those obtained by simpler methods, eg [2], and, when
they are not equal, are only slightly worse than the bounds obtained by the method in
[1]. In addition, the overhead in CPU time due to computing lower bounds for failure
distances seems to be reasonable.
Forma partDMSD_99_1
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
DMSD_99_1.pdf | 348,7Kb | Visualitza/Obre |