Issue No. 02 - March-April (2013 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MITP.2012.45
Shinji Kikuchi , Fujitsu Laboratories Ltd., Japan
Yasuhide Matsumoto , Fujitsu Laboratories Ltd., Japan
Server virtualization technologies and their live migration function support more efficient use of computing resources in cloud datacenters. However, many management operations for virtual machines can be evoked simultaneously in large-scale systems. What happens if many live migrations are executed simultaneously?
Computational modeling, Servers, Probabilistic logic, Cloud computing, Analytical models, Receivers, Logic gates, Virtualization, model checking, system management operations, virtual machine, operation performance, cloud computing, datacenter, live migration, formal methods
Shinji Kikuchi, Yasuhide Matsumoto, "Using Model Checking to Evaluate Live Migrations", IT Professional, vol. 15, no. , pp. 36-41, March-April 2013, doi:10.1109/MITP.2012.45