Efficient exploration of availability models guided by failure distances

Performance Evaluation Review

Volumn 24, Issue 1, 1996, Pages 242-251

  Carrasco, Juan A ^a   Escribá, Javier ^a   Calderón, Angel ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; AVAILABILITY; DATA STORAGE EQUIPMENT; FAULT TOLERANT COMPUTER SYSTEMS; MARKOV PROCESSES; OPTIMIZATION; STATE SPACE METHODS;

CENTRAL PROCESSING UNIT TIME REQUIREMENTS; FAILURE DISTANCE METHOD; STEADY STATE AVAILABILITY;

MATHEMATICAL MODELS;

EID: 0030147044     PISSN: 01635999     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/233008.233049     Document Type: Article

References (22)

1. R.E. Barlow and F. Proschan, Statistical Theory of Reliability and Life Testing. Probability Models, McArdle Press, Silver Spring, 1981.
2. J. A. Carrasco and J. Figueras, "METFAC: Design and Implementation of a Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems," in Proc. 16th Int. Symp. on Fault. Tolerant Computing FTCS-16, 1986, pp. 424-429.
3. J. A. Carrasco, "Analysis of Sparse Numerical Methods for Dependability Evaluation," in Proc. 16th IAESTED Int. Conf. on Identification, Modeling and Simulation, 1987, pp. 437-441.
4. J. A. Carrasco, "Failure distance-based Simulation of Repairable Fault-Tolerant Systems," in Computer Performance Evaluation, Elsevier, 1992, pp. 351-366.
5. J. A. Carrasco, "Improving Availability Bounds using the Failure distance Concept", in Dependable Computing and Fault-Tolerant Systems, vol. 9, Springer-Verlag, 1995, pp. 479-497.
6. E. Çinlar, Introduction to Stochastic Processes, Prentice-Hall, Inc., New Jersey, 1975.
7. P. J. Courtois and P. Semal, "Bounds for the positive eigenvectors of nonnegative matrices and for their approximations," Journal of the ACM, vol. 31, no. 4, pp. 804-825, October 1984.
8. P. J. Courtois and P. Semal, "Computable bounds for conditional steady-state probabilities in large Markov chains and queuing models," IEEE J. of Selected Areas in Communications, vol. SAC-4, no. 6, September 1986, pp. 926-937.
9. S.-N. Chiou and V.O.K. Li, "Reliability Analysis of a Communication Network with Multimode Components." IEEE J. of Selected Areas in Communications, vol. SAC-4, no. 7, October 1986, pp. 1156-1161.
10. M. Dal Cin, "Availability Analysis of a Fault-Tolerant Computer System," IEEE Trans. on Reliability, vol. R-29, no. 3, August 1980, pp. 265-268.
11. A. Goyal, W. C. Carter, E. de Souza e Silva, and S. S. Labenverg, "The System Availability Estimator," in Proc. 16th Int. Symp. on Fault-Tolerant Computing FTCS-16, 1986, pp. 84-89.
12. A. Goyal, P. Shahabuddin, P. Heidelberger, V.F. Nicola, and P.W. Glynn, "A Unified Framework for Simulating Markovian Models of Highly Dependable Systems," IEEE Trans. on Computers, vol. 41, no. 1, January 1992, pp. 36-51.
13. Y.F. Lam and V.O.K. Li, "An Improved Algorithm for Performance Analysis of Networks with Unreliable Components," IEEE Trans. on Communications, vol. COM-34, no. 5, May 1986, pp. 496-497.
14. V.O.K. Li and J.A. Silvester, "Performance Analysis of Networks with Unreliable Components," IEEE Trans. on Communications, vol. COM-32, no. 10, October 1984, pp. 1105-1110.
15. J.C.S. Lui and R. Muntz, "Evaluating Bounds on Steady-State Availability of Repairable Systems from Markov Models," in Numerical Solution of Markov chains, Marcel Dekker, New York, pp. 435-454, 1991.
16. J.C.S. Lui and R. Muntz, "Computing Bounds on Steady State Availability of Repairable Computer Systems," Journal of the ACM, vol. 41, no. 4, July 1994, pp. 676-707.
17. N.F. Maxemchuk and K. Sabnani, "Probabilistic Verification of Communication Protocols," in Proc. of the IFIF 7th Int. Conf. on Protocol Specification, Testing, and Verification, North-Holland, 1987, pp. 307-320.
18. R.R. Muntz, E. de Souza e Silva and A. Goyal, "Bounding Availability of Repairable Computer Systems," IEEE Trans. on Computers, vol. 38, no. 12, pp. 1714-1723, December 1989.
19. V.F. Nicola, M. Nakayama, P. Heidelberger and A. Goyal, "Fast simulation of dependability models with general failure, repair and maintenance processes," in Proc. 20th IEEE Int. Symp. on Fault-Tolerant Computing FTCS-20, 1990, pp. 491-498.
20. V.F. Nicola, P. Shahabuddin, P. Heidelberger, and P.W. Glynn, "Fast simulation of steady-state availability in non-markovian highly dependable systems," in Proc. 23th IEEE Int. Symp. on Fault-Tolerant Computing FTCS-23, 1993, pp. 38-47.
21. E. de Souza e Silva and P.M. Ochoa, "State Space Exploration in Markov Models," Performance Evaluation Review, vol. 20, no. 1, June 1992, pp. 152-166.
22. Ch.-L. Yang and P. Kubat, "Efficient Computation of Most Probable States for Communication Networks with Multimode Components," IEEE Trans. on Communications, vol. 37, no. 5, May 1989, pp. 535-538.