![]() In other words, the Xen hypervisor enables the simultaneous creation, execution and management of various virtual machines in one physical environment. ![]() The Xen hypervisor is an open source software program that is responsible for managing the low-level interactions that occur between virtual machines ( VMs) and the physical hardware. The latter is how most enterprises virtualize their systems. They can sit on top of an OS or they can be directly installed onto the hardware. Hypervisors take the physical resources and separate them so they can be utilized by the virtual environment. This often includes the CPU's memory, input/output (I/O) and network traffic. Virtualization describes a technology in which an application, guest OS or data storage is abstracted away from the true underlying hardware or software.Ī key use of virtualization technology is server virtualization, which uses a software layer - called a hypervisorto verify the models, we have used Satisfiability Modulo Theories Library (SMT-Lib) and Z3 Solver. We have used high-level Petri nets (HLPN) to model and analyze the structural and behavioral properties of the systems. In this paper, we provide a formal analysis, modeling, and verification of three open source state-of-the-art VM-based cloud management platforms: 1) Eucalyptus, 2) Open Nebula, and 3) Nimbus. However, other important aspects, such as formal analysis, modeling, and verification are usually ignored. ![]() The existing work performed in VM-based cloud management platforms have mainly focused on the discussion of architecture, feature set, and performance analysis. In the said perspective, many open source VM-based cloud platforms launched for general users to research. Most of the cloud management system, such as Amazon EC2, are proprietary and are not generally available for research. To cope with the large number of virtual machines (VM) involved in the cloud, several solutions have been proposed to automatically monitor and deploy VM in resource pools. Virtualization is one of the key aspects used in cloud computing environment to achieve scalability and flexibility.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |