Mostra el registre d'ítem simple
A failure-distance based method to bound the reliability of non-repairable Fault-tolerant systems without the knowledge of minimal cuts
dc.contributor.author | Suñé, Víctor |
dc.contributor.author | Carrasco, Juan A. |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica |
dc.date.accessioned | 2010-06-25T15:21:51Z |
dc.date.available | 2013-07-10T09:11:56Z |
dc.date.issued | 2000-12-11 |
dc.identifier.uri | http://hdl.handle.net/2117/7846 |
dc.description.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. |
dc.format.extent | 42 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | DMSD_99_1 |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Automàtica i control |
dc.subject.lcsh | Markov processes |
dc.subject.lcsh | Fault-tolerant computing |
dc.title | A failure-distance based method to bound the reliability of non-repairable Fault-tolerant systems without the knowledge of minimal cuts |
dc.type | External research report |
dc.subject.lemac | Markov, Processos de |
dc.subject.lemac | Tolerància als errors (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat |
dc.rights.access | Open Access |
local.identifier.drac | 2560866 |
dc.description.version | Preprint |
local.personalitzacitacio | true |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [54]
-
Reports de recerca [9]
-
Reports de recerca [9]