Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-vdxz6 Total loading time: 0 Render date: 2024-11-26T04:38:54.625Z Has data issue: false hasContentIssue false

9 - Continuous-Time Markov Chain: Availability Models

from Part III - State-Space Models with Exponential Distributions

Published online by Cambridge University Press:  30 August 2017

Kishor S. Trivedi
Affiliation:
Duke University, North Carolina
Andrea Bobbio
Affiliation:
Università degli Studi del Piemonte Orientale, Italy
Get access

Summary

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Chapter
Information
Reliability and Availability Engineering
Modeling, Analysis, and Applications
, pp. 305 - 356
Publisher: Cambridge University Press
Print publication year: 2017

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[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.Google Scholar
[10] Y., Liu and K., Trivedi, “Survivability quantification: The analytical modeling approach,” International Journal of Performability Engineering, vol. 2, no. 1, p. 29, 2006.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[19] U., Sumita, J., Shanthikumar, and Y., Masuda, “Analysis of fault tolerant computer systems,Microelectronics and Reliability, vol. 27, pp. 65–78, 1987.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[25] H., Nabli and B., Sericola, “Performability analysis: A new algorithm,IEEE Transactions on Computers, vol. 45, pp. 491–494, 1996.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[36] M., Grottke and K. S., Trivedi, “Fighting bugs: Remove, retry, replicate, and rejuvenate,IEEE Computer, vol. 40, no. 2, pp. 107–109, 2007.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.Google Scholar
[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.

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×