An Efficient and Numerically Stable Method for Computing Bounds for the Interval Availability Distribution

References

• Barlow R. E., Proschan F.Statistical Theory of Reliability and Life Testing: Probability Models (1981) (McArdle Press, Silver Spring, MD) Google Scholar
• Carrasco J. A., Pham H. Markovian dependability/performability modeling of fault-tolerant systems. Handbook of Reliability Engineering (2003) (Springer-Verlag, London) 613–642Crossref, Google Scholar
• Carrasco J. A. Solving large interval availability models using a model transformation approach. Comput. Oper. Res. (2004) 31(6):807–861Crossref, Google Scholar
• de Souza e Silva E., Gail H. R. Calculating cumulative operational time distributions of repairable computer systems. IEEE Trans. Comput. (1986) 35(4):322–332Crossref, Google Scholar
• de Souza e Silva E., Ochoa P. M. State space exploration in Markov models. ACM SIGMETRICS Performance Eval. Rev. (1992) 20(1):152–166Crossref, Google Scholar
• Goyal A., Tantawi A. N. A measure of guaranteed availability and its numerical evaluation. IEEE Trans. Comput. (1988) 37(1):25–32Crossref, Google Scholar
• Johnson B. W.The Design and Analysis of Fault Tolerant Digital Systems (1989) (Addison-Wesley, Boston) Google Scholar
• Kijima M.Markov Processes for Stochastic Modeling (1997) (Chapman & Hall, London) Crossref, Google Scholar
• Kulkarni V. G.Modeling and Analysis of Stochastic Systems (1995) (Chapman & Hall, London) Google Scholar
• Ross S. M.Stochastic Processes (1983) (John Wiley & Sons, New York) Google Scholar
• Rubino G., Sericola B. Interval availability analysis using operational periods. Performance Eval. (1992) 14(3–4):257–272Crossref, Google Scholar
• Rubino G., Sericola B. Interval availability distribution computation. IEEE Internat. Sympos. Fault-Tolerant Comput. (1993) Toulouse, France(IEEE Computer Society Press, Los Alamitos, CA) 48–55Crossref, Google Scholar
• Rubino G., Sericola B. Interval availability analysis using denumerable Markov processes: Application to multiprocessor subject to breakdowns and repair. IEEE Trans. Comput. (1995) 44(2):286–291Crossref, Google Scholar
• Sericola B. Closed-form solution for the distribution of the total time spent in a subset of a homogeneous Markov process during a finite observation period. J. Appl. Probab. (1990) 27(3):713–719Crossref, Google Scholar
• Takács L. On certain sojourn time problems in the theory of stochastic processes. Acta Math. Hungar. (1957) 8(1–2):169–191Crossref, Google Scholar