Skip to main content Accessibility help
  • Print publication year: 2017
  • Online publication date: August 2017

9 - Continuous-Time Markov Chain: Availability Models

from Part III - State-Space Models with Exponential Distributions
[1] D., Cox and H., Miller, The Theory of Stochastic Processes. Chapman and Hall, 1965.
[2] J. G., Kemeny and J. L., Snell, Finite Markov Chains. Springer, 1983.
[3] K., Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, 2001.
[4] V. G., Kulkarni, Modeling and Analysis of Stochastic Systems. Chapman and Hall, 1995.
[5] B., Sericola, Markov Chains: Theory and Applications. John Wiley & Sons, 2013.
[6] G., Rubino and B., Sericola, Markov Chains and Dependability Theory. Cambridge University Press, 2014.
[7] W., Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
[8] E., Cinlar, Introduction to Stochastic Processes. Prentice-Hall, 1975.
[9] A., Reibman and K., Trivedi, “Transient analysis of cumulative measures of Markov chain behavior,Stochastic Models, vol. 5, pp. 683–710, 1989.
[10] Y., Liu and K., Trivedi, “Survivability quantification: The analytical modeling approach,” International Journal of Performability Engineering, vol. 2, no. 1, p. 29, 2006.
[11] H., Sukhwani, A., Bobbio, and K., Trivedi, “Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques,International Journal of Performability Engineering, vol. 11, no. 4, pp. 305–319, 2015.
[12] R., Peng, Q., Zhai, L., Xing, and J., Yang, “Reliability of 1-out-of-(n+1) warm standby systems subject to fault level coverage,” International Journal of Performability Engineering, vol. 9, no. 1, pp. 117–120, 2013.
[13] L., Tomek and K., Trivedi, “Fixed point iteration in availability modeling,” in Proc. 5th Int. GI/ITG/GMA Conf. on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment. Springer-Verlag, 1991, pp. 229–240.
[14] R., Howard, Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes. John Wiley & Sons, 1971.
[15] A., Reibman, R., Smith, and K., Trivedi, “Markov and Markov reward model transient analysis: An overview of numerical approaches,European Journal of Operational Research, vol. 40, pp. 257–267, 1989.
[16] W., Sanders and J., Meyer, “A unified approach for specifying measures of performance, dependability and performability,” in Dependable Computing for Critical Applications, ser. Dependable Computing and Fault-Tolerant Systems, eds. A., Avižienis and J.-C., Laprie. Springer, 1991, vol. 4, pp. 215–237.
[17] K., Lampka and M., Siegle, “A symbolic approach to the analysis of multi-formalismMarkov reward models,” in Theory and Application ofMulti-Formalism Modeling, eds.M., Gribaudo and M., Iacono. IGI-Global, 2014, ch. 91, pp. 170–195.
[18] A., Goyal, S., Lavenberg, and K., Trivedi, “Probabilistic modeling of computer system availability,Annals of Operations Research, vol. 8, pp. 285–306, 1987.
[19] U., Sumita, J., Shanthikumar, and Y., Masuda, “Analysis of fault tolerant computer systems,Microelectronics and Reliability, vol. 27, pp. 65–78, 1987.
[20] D., Heimann, N., Mittal, and K., Trivedi, “Availability and reliability modeling for computer systems,” in Advances in Computers, ed. M., Yovits, vol. 31. Academic Press, 1990, pp. 176–231.
[21] K., Trivedi, J., Muppala, S., Woolet, and B., Haverkort, “Composite performance and dependability analysis,Performance Evaluation, vol. 14, pp. 197–215, 1992.
[22] V., Kulkarni, V., Nicola, and K., Trivedi, “On modeling the performance and reliability of multi-mode computer systems,The Journal of Systems and Software, vol. 6, pp. 175–183, 1986.
[23] R., Smith, K., Trivedi, and A., Ramesh, “Performability analysis: Measures, an algorithm and a case study,IEEE Transactions on Computers, vol. C-37, pp. 406–417, 1988.
[24] V., Nicola, A., Bobbio, and K., Trivedi, “A unified performance reliability analysis of a system with a cumulative down time constraint,Microelectronics and Reliability, vol. 32, pp. 49–65, 1992.
[25] H., Nabli and B., Sericola, “Performability analysis: A new algorithm,IEEE Transactions on Computers, vol. 45, pp. 491–494, 1996.
[26] B. R., Haverkort, R., Marie, G., Rubino, and K. S., Trivedi (eds.), Performability Modelling: Techniques and Tools. John Wiley & Sons, 2001.
[27] R., German, A. van, Moorsel, M., Qureshi, and W., Sanders, “Expected impulse rewards in Markov regenerative stochastic petri nets,” in Application and Theory of Petri Nets 1996, ser. Lecture Notes in Computer Science, eds. J., Billington and W., Reisig. Springer, 1996, vol. 1091, pp. 172–191.
[28] R., Ghosh, D., Kim, and K., Trivedi, “System resiliency quantification using non-state-space and state-space analytic models,Reliability Engineering and System Safety, vol. 116, pp. 109–125, 2013.
[29] K., Trivedi, R., Vasireddy, D., Trindade, S., Nathan, and R., Castro, “Modeling high availability systems,” in Proc. IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2006.
[30] K. S., Trivedi, D., Wang, J., Hunt, A., Rindos, W. E., Smith, and B., Vashaw, “Availability modeling of SIP protocol on IBMc WebSpherec,” in Proc. Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2008, pp. 323–330.
[31] A., Oodan, K., Ward, C., Savolaine, M., Daneshmand, and P., Hoath, “Telecommunications quality of service management: From legacy to emerging services,” info, vol. 5, no. 4, p. 45, 2003.
[32] C., Johnson, Y., Kogan, Y., Levy, F., Saheban, and P., Tarapore, “VOIP reliability: A service provider's perspective,IEEE Communications Magazine, vol. 42, no. 7, pp. 48–54, Jul. 2004.
[33] Cisco Systems, Inc., Introduction to Performance Management, Cisco Systems, 2004.
[34] S., Mondal, X., Yin, J., Muppala, J. Alonso, Lopez, and K. S. Trivedi, “Defects per million computation in service-oriented environments,IEEE Transactions on Services Computing, vol. 8, no. 1, pp. 32–46, Jan. 2015.
[35] W. E., Smith, K. S., Trivedi, L., Tomek, and J., Ackaret, “Availability analysis of blade server systems,IBM Systems Journal, vol. 47, no. 4, pp. 621–640, 2008.
[36] M., Grottke and K. S., Trivedi, “Fighting bugs: Remove, retry, replicate, and rejuvenate,IEEE Computer, vol. 40, no. 2, pp. 107–109, 2007.
[37] J. T., Blake, A. L., Reibman, and K. S., Trivedi, “Sensitivity analysis of reliability and performability measures for multiprocessor systems,SIGMETRICS Performance Evaluation Review, vol. 16, no. 1, pp. 177–186, May 1988.
[38] R. de S., Matos, P. R. M., Maciel, F., Machida, D. S., Kim, and K. S., Trivedi, “Sensitivity analysis of server virtualized system availability,IEEE Transactions on Reliability, vol. 61, no. 4, pp. 994–1006, 2012.
[39] N., Sato and K. S., Trivedi, “Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks,” in Proc. 5th Int. Conf. Service-Oriented Computing (ICSOC), 2007, pp. 107–118.
[40] Z., Zheng, K., Trivedi, K., Qiu, and R., Xia, “Semi-Markov models of composite web services for their performance, reliability and bottlenecks,” IEEE Transactions on Services Computing, vol. 6, no. 1, 2016.
[41] G., Ciardo, A., Blakemore, P. F., Chimento, J. K., Muppala, and K., Trivedi, “Automated generation and analysis of Markov reward models using stochastic reward nets,” in Linear Algebra, Markov Chains, and Queueing Models, ser. IMA Volumes in Mathematics and its Applications, eds. C. D., Meyer and R. J., Plemmons, Springer, 1993, vol. 48, pp. 145–191.
[42] M., Beaudry, “Performance-related reliability measures for computing systems,IEEE Transactions on Computers, vol. C-27, pp. 540–547, 1978.
[43] G., Bolch, S., Greiner, H. de, Meer, and K. S., Trivedi, Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2nd ed. Wiley-Interscience, Apr. 2006.
[44] J., Meyer, “On evaluating the performability of degradable systems,IEEE Transactions on Computers, vol. C-29, pp. 720–731, 1980.
[45] R., Sahner, K., Trivedi, and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
[46] T., Dayar, Analyzing Markov chains using Kronecker Products: Theory and Applications. Springer Science & Business Media, 2012.