Formal Analysis of Virtual Machine Migration and Identification of Faults

Santosh Kumar Majhi and Sunil Kumar Dhal
Additional contact information
Santosh Kumar Majhi: VSS University of Technology, Department of Computer Science and Engineering, Burla, India
Sunil Kumar Dhal: Sri Sri University, Faculty of Management Studies, Cuttack, India

International Journal of Knowledge-Based Organizations (IJKBO), 2018, vol. 8, issue 1, 16-28

Abstract: Infrastructure as a service (IaaS) cloud supports flexible and agile execution of applications by creating virtualized execution environment namely, virtual machines (VMs) with on-demand infrastructural resources. In such environment, VM migration is used as a tool to facilitate system maintenance, load balancing and fault tolerance. The use of VM migration is to establish the portfolio of using dynamic and scalable infrastructure services offered by the service providers. In this paper, we study the VM migration process and investigate the potential faults which can occur during migration. Also, the state changes of a VM throughout its lifetime has been systematically analyzed and modeled as concurrent state machines. The potential faults are presented considering the live migration process of VM and accordingly VM state changes. In addition, a methodology for identifying the migration faults has been presented.

Date: 2018
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJKBO.2018010102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jkbo00:v:8:y:2018:i:1:p:16-28

Access Statistics for this article

International Journal of Knowledge-Based Organizations (IJKBO) is currently edited by John Wang

More articles in International Journal of Knowledge-Based Organizations (IJKBO) from IGI Global
Bibliographic data for series maintained by Journal Editor ().