Solving dependability/performability irreducible Markov models using regenerative randomization

被引:5
作者
Carrasco, JA [1 ]
机构
[1] UCP, Dept Elect Engn, Barcelona 08028, Spain
关键词
irreducible markov models; randomization; repairable fault-tolerant systems; transient analysis;
D O I
10.1109/TR.2003.818715
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Markov models are commonly used to asses the dependability/performability of fault-tolerant systems. Computation of many dependability/performability measures for repairable fault-tolerant systems requires the transient analysis of irreducible Markov models. Examples of such measures are the unavailability at time t and the s-expected interval unavailability at time t. Randomization (also called uniformization) is a well-known Markov transient analysis method and has good properties: numerical stability, well-controlled computation error, and ability to specify the computation error in advance. However, the randomization method is computationally expensive when the model is stiff, as is the case for Markov models of repairable fault-tolerant systems when the mission time of interest is large. Steady-state detection is a technique recently proposed to speedup randomization when the model is irreducible. This paper points out that another method, regenerative randomization, which has the same good properties as randomization, also covers irreducible models, and compares, for the important class of irreducible failure/repair models with exponential failure and repair time distributions and repair in every state with failed components, the efficiency of the regenerative randomization method with that of randomization with steady-state detection. In the frequent case in which the initial state is the state without failed components the regenerative randomization method can be faster than randomization with steady-state detection, specially when the model is large and the failure rates are much smaller than the repair rates. For other initial probability distributions, the regenerative randomization method seems to perform worse than randomization with steady-state detection.
引用
收藏
页码:319 / 329
页数:11
相关论文
共 30 条
[1]  
Abramowitz M., 1964, HDB MATH FUNCTIONS
[2]  
BEOUNES C, 1993, P 23 IEEE INT S FAUL, P142
[3]   CALCULATION OF THE POISSON CUMULATIVE DISTRIBUTION FUNCTION [J].
BOWERMAN, PN ;
NOLTY, RG ;
SCHEUER, EM .
IEEE TRANSACTIONS ON RELIABILITY, 1990, 39 (02) :158-161
[4]   Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization [J].
Carrasco, JA .
COMPUTERS & OPERATIONS RESEARCH, 2003, 30 (07) :1005-1035
[5]  
CARRASCO JA, 1999, DMSD992 U POL CAT
[6]  
Ciardo G., 1989, P INT WORKSH PETR NE, P142, DOI DOI 10.1109/PNPM.1989.68548
[7]  
COUVILLION J, 1991, IEEE SOFTWARE SEP, P69
[8]   COMPUTING POISSON PROBABILITIES [J].
FOX, BL ;
GLYNN, PW .
COMMUNICATIONS OF THE ACM, 1988, 31 (04) :440-445
[9]  
GOYAL A, 1986, P 16 INT S FAULT TOL, P84
[10]   ROUNDING ERRORS IN CERTAIN ALGORITHMS INVOLVING MARKOV-CHAINS [J].
GRASSMANN, WK .
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1993, 19 (04) :496-508