Tight steady-state availability bounds using the failure distance concept

Performance Evaluation

Volumn 34, Issue 1, 1998, Pages 27-64

  Carrasco, Juan A ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Bounds; Continuous time Markov chains; Repairable fault tolerant computer systems; State space reduction; Steady state availability

Indexed keywords

MARKOV PROCESSES; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; STATE SPACE METHODS;

FAILURE DISTANCE CONCEPT; STEADY-STATE AVAILABILITY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0032166248     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-5316(98)00015-7     Document Type: Article

References (29)

1. R.E. Barlow, F. Proschan, Statistical Theory of Reliability and Life Testing. Probability Models, McArdle Press, Silver Spring, MD, 1981.
2. C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau, J.E. Doucet, K. Kanoun, J.C. Laprie, S. Metge. J. Moreira de Souza, D. Powell, P. Spiesser, SURF-2: A program for dependability evaluation of complex hardware and software systems, in: Proc. 23rd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, 1993, pp. 668-673.
3. U.N. Bhat, Elements of Applied Stochastic Processes, 2nd ed., Wiley, New York, 1984.
4. J.A. Carrasco, Failure distance-based simulation of repairable fault-tolerant systems, in: Computer Performance Evaluation. Modeling Techniques and Tools, Elsevier, Amsterdam, 1992, pp. 351-365.
5. J.A. Carrasco, A. Calderón, J. Escribá, Two new algorithms to compute steady-state bounds for Markov models with slow forward and fast backward transitions, in: Proc. 4th Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'96), February 1996, pp. 89-95.
6. J.A. Carrasco, J. Figueras, METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems, in: Proc. 16th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-16), 1986, pp. 424-429.
7. J.A. Carrasco, V. Suñé, An algorithm to find minimal cuts of s-coherent fault trees with event classes using a decision tree, in: Proc. XII Conf. on Design of Circuits and Integrated Systems, Sevilla, Spain, 1997, pp. 279-284.
8. G. Chiola. C. Dutheillet, G. Franceschinis, S. Haddad, Stochastic well-formed colored nets and symmetric modeling applications, IEEE Trans. Comput. 42 (11) (1993) 1343-1360.
9. G. Ciardo, J. Muppala, K. Trivedi, SPNP: Stochastic Petri net package, in: Proc. 3rd IEEE Int. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, 1989, pp. 142-150.
10. E. Çinlar, Introduction to Stochastic Processes, Prentice-Hall, Englewood Cliffs, NJ, 1975.
11. P.J. Courtois, P. Semal, Bounds for the positive eigenvectors of nonnegative matrices and for their approximations, J. ACM 31 (4) (1984) 804-825.
12. P.J. Courtois, P. Semal, Computable bounds for conditional steady-state probabilities in large Markov chains and queueing models, IEEE J. Select. Areas Commun. SAC-4 (6) (1986) 926-937.
13. J. Couvillion, R. Freire, R. Johnson, W. Obal II, A. Qureshi, M. Rai, W. Sanders, J. Tvedt, Performability modelling with Ultra SAN, IEEE Software (September 1991), pp. 69-80.
14. M. Dal Cin, Availability analysis of a fault-tolerant computer system, IEEE Trans. Reliability R-29 (3) (1980) 265-268.
15. A. Goyal, W.C. Carter, E. de Souza e Silva, S.S. Lavenberg, K.S. Trivedi, The system availability estimator, in: Proc. 16th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-16), 1986, pp. 84-89.
16. A. Goyal, P. Shahabuddin, P. Heidelberger, V.F. Nicola, P.W. Glynn, A unified framework for simulating Markovian models of highly dependable systems, IEEE Trans. Comput. 41 (1) (1992) 36-51.
17. P. Heidelberger, J.K. Muppala, K.S. Trivedi, Accelerating mean time to failure computations, IBM Research Report RC 20415, March 1996.
18. J.G. Kemeny, J.L. Snell, Finite Markov Chains, 2nd ed., Springer, New York, 1978.
19. W.S. Lee, D.L. Grosh, F.A. Tillman, C.H. Lie, Fault tree analysis, methods and applications - A review, IEEE Trans. Reliability R-34 (3) (1985) 194-203.
20. J.C.S. Lui, R. Muntz, Evaluating bounds on steady-state availability of repairable systems from Markov models, in: Numerical Solution of Markov Chains, Marcel Dekker, New York, 1991, pp. 435-454.
21. J.C.S. Lui, R.R. Muntz, Computing bounds on steady state availability of repairable computer systems, J. ACM 41 (4) (1994) 676-707.
22. S.V. Makam, A. Avizienis, ARIES 81: A reliability and life-cycle evaluation tool for fault-tolerant systems, in: Proc. 12th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-12), June 1982, pp. 266-274.
23. R.R. Muntz, E. de Souza e Silva, A. Goyal, Bounding availability of repairable computer systems, IEEE Trans. Comput. 38 (12) (1989) 1714-1723.
24. D.M. Rasmuson, N.H. Marshall, FATRAM - A core efficient cut-set algorithm, IEEE Trans. Reliability R-27 (4) (1978) 250-253.
25. R.A. Sahner, K.S. Trivedi, Reliability modeling using SHARPE, IEEE Trans. Reliability R-36 (2) (1987) 186-193.
26. E. de Souza e Silva, P.M. Ochoa, State space exploration in Markov models, Performance Evaluation Rev. 20 (1) (1992) 152-166.
27. K.S. Trivedi, J.B. Dugan, R.R. Geist, M.K. Smotherman, Hybrid reliability modeling of fault-tolerant computer systems, Comput. Elec. Engrg. 11 (1984) 87-108.
28. R.S. Varga, Matrix Iterative Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1962.
29. M. Veeraraghavan, K.S. Trivedi, A combinatorial algorithm for performance and reliability analysis using multistate models, IEEE Trans. Comput. 43 (2) (1994) 229-234.