This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms
January-June 2013 (vol. 1 no. 1)
pp. 1
Saif U. R. Malik, Dept. of Electr. & Comput. Eng., North Dakota State Univ., Fargo, ND, USA
Samee U. Khan, Dept. of Electr. & Comput. Eng., North Dakota State Univ., Fargo, ND, USA
Sudarshan K. Srinivasan, Dept. of Electr. & Comput. Eng., North Dakota State Univ., Fargo, ND, USA
Virtualization is a key aspect to achieve scalability and flexibility in a cloud. Many solutions have been proposed to monitor and deploy Virtual Machines (VM) in resource pool of cloud. However, most of the cloud management systems, such as Amazon EC2 are proprietary. In the said perspective, many open source VM-based platforms have tossed for general users to research. The existing work has mainly focused on the discussion of architecture, feature-set, and performance analysis. Other important aspects, such as formal analysis, modeling, and verification are usually ignored. In this paper, we provide formal analysis, modeling, and verification of three open source state-of-the-art VM-based cloud platforms: (a) Eucalyptus, (b) Open Nebula, and (c) Nimbus. We used High-Level Petri Nets (HLPN) to model and analyze the structural and behavioral properties of the systems. Moreover, to verify the models, we have used Satisfiability Modulo Theories Library (SMT-Lib) and Z3 Solver. We modeled about 100 VM to verify the correctness and feasibility of our models. The results reveal that the models are functioning correctly. Moreover, the increase in the number of VM does not affect the working of the models that indicates the practicability of the models in a highly scalable and flexible environment.
Index Terms:
Virtualization,Analytical models,Software engineering,Computational modeling,IP networks,Computer architecture,Cloud computing,Model checking,Virtualization,Analytical models,Software engineering,Computational modeling,IP networks,Computer architecture,Analysis,Formal methods,Software/Program Verification,Software Engineering,Software/Software Engineering
Citation:
Saif U. R. Malik, Samee U. Khan, Sudarshan K. Srinivasan, "Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms," IEEE Transactions on Cloud Computing, vol. 1, no. 1, pp. 1, Jan.-June 2013, doi:10.1109/TCC.2013.3
Usage of this product signifies your acceptance of the Terms of Use.