Performability Analysis: Measures, an Algorithm, and a Case Study

IEEE Transactions on Computers

Volumn 37, Issue 4, 1988, Pages 406-417

  Smith, R M ^a   Trivedi, Kishor S ^a   Ramesh, A V ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

Availability; bility; fault tolerance; Markov models; Markov reward models; multiprocessor performance; performa ; reliability

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; MATHEMATICAL TECHNIQUES - POLYNOMIALS;

CONTINUOUS-TIME MARKOV CHAIN; PERFORMABILITY ANALYSIS; POLYNOMIAL-TIME ALGORITHM;

COMPUTER SYSTEMS, DIGITAL;

EID: 0023998946     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.2184     Document Type: Article

References (28)

1. M. Beaudry, “Performance related reliability for computer systems,” IEEE Trans. Comput., vol. C-27, pp. 540-547, June 1984.
2. D. Bhandarkar, “Analysis of memory interference in multiprocessors,” IEEE Trans. Comput., vol. C-24, pp. 897-908, Nov. 1975.
3. B. Ciciani and V. Grassi, “Performability evaluation of fault-tolerant satellite systems,” IEEE Trans. Commun., vol. COM-35, pp. 403-409, Apr. 1987.
4. J. Cooley, A. Lewis, and P. Welch, “The fast Fourier transform: Programming considerations in the calculation of the sine, cosine and Laplace transforms,” J. Sound. Vib., vol. 12, pp. 315-337, 1970.
5. F. DeHoog, J. Knight, and A. N. Stokes, “An improved method for numerical inversion of Laplace transforms,” SIAM J. Sci. Stat. Comput., vol. 3, no. 3, pp. 357-366, 1983.
6. L. Donatiello and B. Iyer, “Analysis of a composite performance reliability measure for fault-tolerant systems,” J. Ass. Comput. Mach., vol. 34, no. 1, pp. 179-199, 1987.
7. F. Durbin, “Numerical inversion of Laplace transforms: An efficient improvement to Dubner and Abate’s method,” Comput. J., vol. 17, pp. 371-376, 1974.
8. E. deSouza eSilva and R. Gail, “Calculating cumulative operational time distributions of repairable computer systems,” IEEE Trans. Comput., vol. C-35, pp. 322-332, Apr. 1986.
9. D. Furchtgott and J. Meyer, “A performability solution method for degradable nonrepairable systems,” IEEE Trans. Comput., vol. C-33, pp. 550-554, June 1984.
10. A. Goyal and A. Tantawi, “Evaluation of performability for degradable computer systems,” IEEE Trans. Comput., vol. C-36, pp. 738-744, June 1987.
11. A. Goyal, A. N. Tantawi, and K. S. Trivedi, “A measure of guaranteed availability,” IBM Res. Rep. RC 11341, Aug. 1985.
12. A. Hordijk, D. Iglehart, and R. Schassberger, “Discrete time methods for simulating continuous time Markov chains,” Adv. Appl. Prob., vol. 8, pp. 772-788, 1976.
13. R. A. Howard, Dynamic Probabilistic Systems, Vol. II: SemiMarkov and Decision Processes. New York: Wiley, 1971.
14. M. C. Hsueh, R. K. Iyer, and K. S. Trivedi, “Performability modeling based on real data: A case study,” IEEE Trans. Comput., this issue, pp. 478-484.
15. R. Huslende, “A combined evaluation of performance and reliability for degradable systems,” in Proc. ACM/SIGMETRICS Conf. Measurement Modeling Comput. Syst., 1981, pp. 157-164.
16. B. R. Iyer, L. Donatiello, and P. Heidelberger, “Analysis of performability for stochastic models of fault-tolerant systems,” IEEE Trans. Comput., vol. C-35, pp. 902-907, Oct. 1986.
17. D. L. Jagerman, “An inversion technique for the Laplace transforms,” Bell. Syst. Tech. J., vol. 61, pp. 1995-2002, 1982.
18. V. Kulkarni, V. Nicola, and K. Trivedi, “On modeling the performance and reliability of multi-mode computer systems,” J. Syst. Software, vol. 6, pp. 175-183, May 1986.
19. V. Kulkarni, V. Nicola, R. Smith, and K. Trivedi, “Numerical evaluation of performability and job completion time in repairable faulttolerant systems,” in FTCS Proc., vol. 16, 1986.
20. J. Meyer, “On evaluating the performability of degradable computer systems,” IEEE Trans. Comput., vol. C-29, pp. 720-731, Aug. 1980.
21. —, “Closed-form solutions of performability,” IEEE Trans. Comput., pp. 648-657, July 1982.
22. P. S. Puri, “A method for studying the integral functionals of stochastic processes with applications: I. The Markov chain case,” J. Appl. Prob., vol. 8, pp. 331-343, 1971.
23. A. R. Reibman and K. S. Trivedi, “Numerical transient analysis of Markov dependability models,” Comput. Oper. Res., vol. 15, pp. 19-36, 1988.
24. D. P. Siewiorek, “Multiprocessors: Reliability modeling and graceful degradation,” in Proc. Infotech State of the Art Conf. Syst. Reliability, Infotech Int., London, 1977.
25. D. P. Siewiorek, V. Kini, R. Joobbani, and H. Beilis, “A case study of C.mmp, Cm*, and C.vmp: Part II—Predicting and calibrating reliability of multiprocessor systems,” Proc. IEEE, vol. 66, pp. 1200-1220, Oct. 1978.
26. W. T. Weeks, “Numerical inversion of Laplace transforms using Laguerre functions,” J. Ass. Comput. Mach., vol. 13, pp. 419-426, July 1966.
27. J. H. Wilkinson and C. Reinsch, Handbook for Automatic Computation, Vol. II: Linear Algebra. Berlin, Germany: Springer-Verlag, 1971.
28. L. T. Wu, “Operational modes for the evaluation of degradable computing systems,” in Proc. ACM/SIGMETRICS Conf. Measurement Modeling Comput. Syst., 1982, pp. 179-185.