doi:10.1093/comjnl/bxx049engChang, XiaolinWang, TianjuRodríguez, Ricardo J.Zhang, ZhenjiangModeling and analysis of high availability techniques in a virtualized systemART-2017-99881Availability evaluation of a virtualized system is critical to the wide deployment of cloud computing services. Time-based, prediction-based rejuvenation of virtual machines (VM) and virtual machine monitors, VM failover and live VM migration are common high-availability (HA) techniques in a virtualized system. This paper investigates the effect of combination of these availability techniques on VM availability in a virtualized system where various software and hardware failures may occur. For each combination, we construct analytic models rejuvenation mechanisms to improve VM availability; (2) prediction-based rejuvenation enhances VM availability much more than time-based VM rejuvenation when prediction successful probability is above 70%, regardless failover and/or live VM migration is also deployed; (3) failover mechanism outperforms live VM migration, although they can work together for higher availability of VM. In addition, they can combine with software rejuvenation mechanisms for even higher availability; (4) and time interval setting is critical to a time-based rejuvenation mechanism. These analytic results provide guidelines for deploying and parameter setting of HA techniques in a virtualized system.2017http://zaguan.unizar.es/record/7084110.1093/comjnl/bxx049http://zaguan.unizar.es/record/70841oai:zaguan.unizar.es:70841info:eu-repo/grantAgreement/ES/UZ/CUD2016-TEC-06info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-RThis project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICEinfo:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICECOMPUTER JOURNAL 61, 2 (2017), 180-198All rights reservedhttp://www.europeana.eu/rights/rr-f/info:eu-repo/semantics/openAccess