{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:12:01Z","timestamp":1766067121226,"version":"3.37.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s11219-019-09474-1","type":"journal-article","created":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T11:02:27Z","timestamp":1583319747000},"page":"59-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3211-7951","authenticated-orcid":false,"given":"Matheus","family":"Torquato","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"9474_CR1","doi-asserted-by":"crossref","unstructured":"Araujo, J., Matos, R., Maciel, P., Matias, R. (2011a). Software aging issues on the eucalyptus cloud computing infrastructure. In 2011 IEEE international conference on systems, man, and cybernetics (SMC) (pp. 1411\u20131416). IEEE.","DOI":"10.1109\/ICSMC.2011.6083867"},{"key":"9474_CR2","doi-asserted-by":"crossref","unstructured":"Araujo, J., Matos, R., Maciel, P., Matias, R., Beicker, I. (2011b). Experimental evaluation of software aging effects on the eucalyptus cloud computing infrastructure. In Proceedings of the middleware 2011 industry track workshop (p. 4). ACM.","DOI":"10.1145\/2090181.2090185"},{"key":"9474_CR3","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., et al. (2001). Fundamental concepts of dependability. University of Newcastle upon Tyne, Computing Science."},{"issue":"1","key":"9474_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1), 11\u201333.","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"9474_CR5","unstructured":"Bovenzi, A., Cotroneo, D., Pietrantuono, R., Russo, S. (2011). Workload characterization for software aging analysis. In 2011 IEEE 22nd international symposium on Software reliability engineering (ISSRE) (pp. 240\u2013249): IEEE."},{"key":"9474_CR6","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S. (1993). Automated generation and analysis of markov reward models using stochastic reward nets. In Linear algebra, markov chains, and queueing models (pp. 145\u2013191). Springer.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"9474_CR7","unstructured":"Clark, C., Fraser, K., Hand, S., Hansen, J.G., Jul, E., Limpach, C., Pratt, I., Warfield, A. (2005). Live migration of virtual machines. In Proceedings of the 2nd conference on symposium on networked systems design & implementation-Volume 2 (pp. 273\u2013286). USENIX Association."},{"issue":"3","key":"9474_CR8","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1109\/TR.2005.853038","volume":"54","author":"C Constantinescu","year":"2005","unstructured":"Constantinescu, C. (2005). Dependability evaluation of a fault-tolerant processor by gspn modeling. IEEE Transactions on Reliability, 54(3), 468\u2013474.","journal-title":"IEEE Transactions on Reliability"},{"issue":"1","key":"9474_CR9","first-page":"8","volume":"10","author":"D Cotroneo","year":"2014","unstructured":"Cotroneo, D., Natella, R., Pietrantuono, R., Russo, S. (2014). A survey of software aging and rejuvenation studies. ACM Journal on Emerging Technologies in Computing Systems (JETC), 10(1), 8.","journal-title":"ACM Journal on Emerging Technologies in Computing Systems (JETC)"},{"key":"9474_CR10","doi-asserted-by":"crossref","unstructured":"Dantas, J., Matos, R., Araujo, J., Maciel, P. (2012). An availability model for eucalyptus platform An analysis of warm-standy replication mechanism. In 2012 IEEE international conference on Systems, man, and cybernetics (SMC) (pp. 1664\u20131669). IEEE.","DOI":"10.1109\/ICSMC.2012.6377976"},{"issue":"1","key":"9474_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.26729\/jadi.v3i1.2441","volume":"3","author":"MDT de Melo","year":"2017","unstructured":"de Melo, M.D.T., Araujo, J., Umesh, IM., Maciel, P.R.M. (2017). Sware: An approach to support software aging and rejuvenation experiments. Journal on Advances in Theoretical and Applied Informatics, 3(1), 31\u201338.","journal-title":"Journal on Advances in Theoretical and Applied Informatics"},{"key":"9474_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.ress.2018.08.009","volume":"180","author":"T Dohi","year":"2018","unstructured":"Dohi, T., Zheng, J., Okamura, H., Trivedi, K.S. (2018). Optimal periodic software rejuvenation policies based on interval reliability criteria. Reliability Engineering & System Safety, 180, 463\u2013475.","journal-title":"Reliability Engineering & System Safety"},{"issue":"7","key":"9474_CR13","first-page":"425","volume":"27","author":"M Grottke","year":"2005","unstructured":"Grottke, M., & Trivedi, K. (2005). A classification of software faults. Journal of Reliability Engineering Association of Japan, 27(7), 425\u2013438.","journal-title":"Journal of Reliability Engineering Association of Japan"},{"issue":"2","key":"9474_CR14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/MC.2007.55","volume":"40","author":"M Grottke","year":"2007","unstructured":"Grottke, M., & Trivedi, K.S. (2007). Fighting bugs: Remove, retry, replicate, and rejuvenate. Computer, 40(2), 107\u2013109.","journal-title":"Computer"},{"key":"9474_CR15","unstructured":"Huang, Y., Kintala, C., Kolettis, N., Fulton, N.D. (1995a). Software rejuvenation Analysis, module and applications. In Ftcs (p. 0381). IEEE."},{"key":"9474_CR16","unstructured":"Huang, Y., Kintala, C., Kolettis, N., Fulton, N.D. (1995b). Software rejuvenation Analysis, module and applications. In 1995. FTCS-25. Digest of papers., twenty-fifth international symposium on Fault-tolerant computing (pp. 381\u2013390). IEEE."},{"key":"9474_CR17","doi-asserted-by":"crossref","unstructured":"Kim, D.S., Machida, F., Trivedi, K.S. (2009). Availability modeling and analysis of a virtualized system. In 2009. PRDC\u201909. 15th IEEE pacific rim international symposium on Dependable computing (pp. 365\u2013371). IEEE.","DOI":"10.1109\/PRDC.2009.64"},{"key":"9474_CR18","unstructured":"Langner, F., & Andrzejak, A. (2013). Detecting software aging in a cloud computing framework by comparing development versions. In 2013 IFIP\/IEEE international symposium on integrated network management (IM 2013) (pp. 896\u2013899). IEEE."},{"issue":"7","key":"9474_CR19","doi-asserted-by":"publisher","first-page":"2341","DOI":"10.12733\/jics20103400","volume":"11","author":"H Li","year":"2014","unstructured":"Li, H., Zhao, Z., He, L., Zheng, X. (2014). Model and analysis of cloud storage service reliability based on stochastic petri nets. Journal of Information & Computational Science, 11(7), 2341\u20132354.","journal-title":"Journal of Information & Computational Science"},{"key":"9474_CR20","doi-asserted-by":"crossref","unstructured":"Machida, F., Kim, Dong S., Trivedi, K.S. (2010). Modeling and analysis of software rejuvenation in a server virtualized system. In 2010 IEEE second international workshop on Software aging and rejuvenation (woSAR) (pp. 1\u20136). IEEE.","DOI":"10.1109\/WOSAR.2010.5722098"},{"issue":"3","key":"9474_CR21","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/j.peva.2012.09.003","volume":"70","author":"F Machida","year":"2013","unstructured":"Machida, F., Kim, D.S., Trivedi, K.S. (2013). Modeling and analysis of software rejuvenation in a server virtualized system with live vm migration. Performance Evaluation, 70(3), 212\u2013230.","journal-title":"Performance Evaluation"},{"issue":"4","key":"9474_CR22","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1080\/15326349308807278","volume":"9","author":"M Malhotra","year":"1993","unstructured":"Malhotra, M., & Reibman, A. (1993). Selecting and implementing phase approximations for semi-markov models. Stochastic Models, 9(4), 473\u2013506.","journal-title":"Stochastic Models"},{"issue":"3","key":"9474_CR23","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1109\/24.326452","volume":"43","author":"M Malhotra","year":"1994","unstructured":"Malhotra, M., & Trivedi, K.S. (1994). Power-hierarchy of dependability-model types. IEEE Transactions on Reliability, 43(3), 493\u2013502.","journal-title":"IEEE Transactions on Reliability"},{"issue":"3","key":"9474_CR24","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M Malhotra","year":"1995","unstructured":"Malhotra, M., & Trivedi, K.S. (1995). Dependability modeling using petri-nets. IEEE Transactions on reliability, 44(3), 428\u2013440.","journal-title":"IEEE Transactions on reliability"},{"key":"9474_CR25","volume-title":"Modelling with generalized stochastic Petri nets, Vol. 292","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M, Balbo, G., Conte, G., Donatelli, S., Franceschinis, G. (1995). Modelling with generalized stochastic Petri nets Vol. 292. New York: Wiley."},{"issue":"4","key":"9474_CR26","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1109\/TR.2012.2220711","volume":"61","author":"RDS Matos","year":"2012","unstructured":"Matos, R. D. S., Maciel, P. R. M., Machida, F., Kim, D.S., Trivedi, K.S. (2012a). Sensitivity analysis of server virtualized system availability. IEEE Trans. Reliab., 61(4), 994\u20131006.","journal-title":"IEEE Trans. Reliab."},{"key":"9474_CR27","doi-asserted-by":"crossref","unstructured":"Matos, R., Araujo, J., Alves, V., Maciel, P. (2012b). Characterization of software aging effects in elastic storage mechanisms for private clouds. In 2012 IEEE 23rd international symposium on software reliability engineering workshops (ISSREW) (pp. 293\u2013298). IEEE.","DOI":"10.1109\/ISSREW.2012.82"},{"key":"9474_CR28","doi-asserted-by":"crossref","unstructured":"Melo, M., Araujo, J., Matos, R., Menezes, J., Maciel, P. (2013a). Comparative analysis of migration-based rejuvenation schedules on cloud availability. In 2013 IEEE international conference on systems, man, and cybernetics (SMC) (pp. 4110\u20134115). IEEE.","DOI":"10.1109\/SMC.2013.701"},{"key":"9474_CR29","doi-asserted-by":"crossref","unstructured":"Melo, M., Maciel, P., Araujo, J., Matos, R., Araujo, C. (2013b). Availability study on cloud computing environments Live migration as a rejuvenation mechanism. In 2013 43rd annual IEEE\/IFIP international conference on Dependable systems and networks (DSN) (pp. 1\u20136). IEEE.","DOI":"10.1109\/DSN.2013.6575322"},{"issue":"2","key":"9474_CR30","first-page":"9","volume":"1","author":"J Muppala","year":"1994","unstructured":"Muppala, J., Ciardo, G., Trivedi, K.S. (1994). Stochastic reward nets for reliability prediction. Communications in reliability, maintainability and serviceability, 1(2), 9\u201320.","journal-title":"Communications in reliability, maintainability and serviceability"},{"key":"9474_CR31","doi-asserted-by":"crossref","unstructured":"Mural, I, Bondavalli, A, Zang, X, Trivedi, K S. (1999). Dependability modeling and evaluation of phased mission systems: a dspn approach. In Dependable computing for critical applications 7, 1999. IEEE (pp. 319\u2013337).","DOI":"10.1109\/DCFTS.1999.814303"},{"issue":"3","key":"9474_CR32","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/16843703.2014.11673349","volume":"11","author":"H Okamura","year":"2014","unstructured":"Okamura, H, Yamamoto, K, Dohi, T. (2014). Transient analysis of software rejuvenation policies in virtualized system Phase-type expansion approach. Quality Technology & Quantitative Management, 11(3), 335\u2013351.","journal-title":"Quality Technology & Quantitative Management"},{"key":"9474_CR33","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. (1994). Software aging. In Proceedings of the 16th international conference on Software engineering (pp. 279\u2013287). IEEE Computer Society Press.","DOI":"10.1109\/ICSE.1994.296790"},{"key":"9474_CR34","unstructured":"Royce, W.W. (1970). Managing the development of large software systems. In Proceedings of IEEE WESCON (vol. 26). Los Angeles."},{"key":"9474_CR35","doi-asserted-by":"crossref","unstructured":"Suzuki, H., Dohi, T., Kaio, N., Trivedi, K.S. (2003). Maximizing interval reliability in operational software system with rejuvenation. In 2003. ISSRE 2003. 14th international symposium on Software reliability engineering (pp. 479\u2013490). IEEE.","DOI":"10.1109\/ISSRE.2003.1251068"},{"key":"9474_CR36","unstructured":"Thein, T., Chi, S.-D., Park, J.S. (2008). Availability modeling and analysis on virtualized clustering with rejuvenation. International Journal of Computer Science and Network Security."},{"issue":"2","key":"9474_CR37","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s11390-009-9228-1","volume":"24","author":"T Thein","year":"2009","unstructured":"Thein, T., & Park, J.S. (2009). Availability analysis of application servers using software rejuvenation and virtualization. Journal of computer science and technology, 24(2), 339\u2013346.","journal-title":"Journal of computer science and technology"},{"key":"9474_CR38","unstructured":"Torquato, M., Maciel, P., Araujo, J., Umesh, I.M. (2017). An approach to investigate aging symptoms and rejuvenation effectiveness on software systems. In 2017 12th iberian conference on Information systems and technologies (CISTI) (pp. 1\u20136): IEEE."},{"issue":"2","key":"9474_CR39","doi-asserted-by":"publisher","first-page":"15","DOI":"10.20897\/jisem.201815","volume":"3","author":"M Torquato","year":"2018","unstructured":"Torquato, M, Araujo, J, Umesh, I M, Maciel, P. (2018a). Sware A methodology for software aging and rejuvenation experiments. Journal of Information Systems Engineering & Management, 3(2), 15.","journal-title":"Journal of Information Systems Engineering & Management"},{"key":"9474_CR40","doi-asserted-by":"crossref","unstructured":"Torquato, M., Umesh, I.M., Maciel, P. (2018b). Models for availability and power consumption evaluation of a private cloud with vmm rejuvenation enabled by vm live migration. The Journal of Supercomputing, 1\u201325.","DOI":"10.1007\/s11227-018-2485-4"},{"key":"9474_CR41","doi-asserted-by":"crossref","unstructured":"Torquato, M., & Vieira, M. (2018). Interacting srn models for availability evaluation of vm migration as rejuvenation on a system under varying workload. In 2018 IEEE International symposium on software reliability engineering workshops (ISSREW) (pp. 300\u2013307). IEEE.","DOI":"10.1109\/ISSREW.2018.00022"},{"key":"9474_CR42","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Ciardo, G., Malhotra, M., Sahner, R.A. (1993). Dependability and performability analysis. In Performance evaluation of computer and communication systems (pp. 587\u2013612). Springer.","DOI":"10.1007\/BFb0013869"},{"key":"9474_CR43","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Vaidyanathan, K., Goseva-Popstojanova, K. (2000). Modeling and analysis of software aging and rejuvenation. In 2000.(SS 2000) proceedings. 33rd annual Simulation symposium (pp. 270\u2013279). IEEE.","DOI":"10.1109\/SIMSYM.2000.844925"},{"key":"9474_CR44","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and availability engineering: modeling, analysis, and applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., & Bobbio, A. (2017). Reliability and availability engineering: modeling, analysis, and applications. Cambridge: Cambridge University Press."},{"key":"9474_CR45","doi-asserted-by":"crossref","unstructured":"Vaidyanathan, K., & Trivedi, K.S. (1999). A measurement-based model for estimation of resource exhaustion in operational software systems. In Issre (pp. 84). IEEE.","DOI":"10.1109\/ISSRE.1999.809313"},{"key":"9474_CR46","unstructured":"Vaidyanathan, K., & Trivedi, K.S. (2001). Extended classification of software faults based on aging. In Fast abstract, int. Symp. Software Reliability Eng. Hong Kong."},{"issue":"2","key":"9474_CR47","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/TDSC.2005.15","volume":"2","author":"K Vaidyanathan","year":"2005","unstructured":"Vaidyanathan, K., & Trivedi, K.S. (2005). A comprehensive model for software rejuvenation. IEEE Transactions on Dependable and Secure Computing, 2(2), 124\u2013137.","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"2","key":"9474_CR48","doi-asserted-by":"publisher","first-page":"127","DOI":"10.18187\/pjsor.v2i2.96","volume":"2","author":"RA Wajid","year":"2006","unstructured":"Wajid, R.A., & Shuaib Khan, M. (2006). Comparative distributions of hazard modeling analysis. Pakistan Journal of Statistics and Operation Research, 2(2), 127\u2013134.","journal-title":"Pakistan Journal of Statistics and Operation Research"},{"issue":"3","key":"9474_CR49","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.peva.2006.04.002","volume":"64","author":"D Wang","year":"2007","unstructured":"Wang, D., Xie, W., Trivedi, K.S. (2007). Performability analysis of clustered systems with rejuvenation under varying workload. Performance Evaluation, 64(3), 247\u2013265.","journal-title":"Performance Evaluation"},{"key":"9474_CR50","doi-asserted-by":"crossref","unstructured":"Xie, W., Hong, Y., Trivedi, K.S. (2004). Software rejuvenation policies for cluster systems under varying workload. In 2004. Proceedings 10th IEEE pacific rim international symposium on dependable computing (pp. 122\u2013129). IEEE.","DOI":"10.1109\/PRDC.2004.1276563"},{"key":"9474_CR51","doi-asserted-by":"crossref","unstructured":"Zimmermann, A. (2017). Modelling and performance evaluation with timenet 4.4. In International conference on quantitative evaluation of systems (pp. 300\u2013303). Springer.","DOI":"10.1007\/978-3-319-66335-7_19"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09474-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-019-09474-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09474-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T01:14:17Z","timestamp":1614820457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-019-09474-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["9474"],"URL":"https:\/\/doi.org\/10.1007\/s11219-019-09474-1","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2020,3]]},"assertion":[{"value":"4 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}