Modeling and Analysis of State-of-the-Art VM-Based Cloud Management Platforms

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

e-journal

Modeling and Analysis of State-of-the-Art VM-Based Cloud Management Platforms

Saif U. R. Malik - Nama Orang; Samee U. Khan - Nama Orang; Sudarshan K. Srinivasan - Nama Orang;

Virtualization is one of the key aspects used in cloud computing environment to achieve scalability and flexibility. 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. Most of the cloud management system, such as Amazon EC2, are proprietary and are not generally available for research. In the said perspective, many open source VM-based cloud platforms launched for general users to research.
The existing work performed in VM-based cloud management platforms have mainly focused on the discussion of architecture, feature set, and performance analysis. However, other important aspects, such as formal analysis, modeling, and verification are usually ignored. 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. We have 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—VM-based cloud management, high-level Petri nets (HLPN), SMT, Z3, modeling, and verification

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri: IEEE TRANSACTIONS ON CLOUD COMPUTIN
No. Panggil: -
Penerbit: New York : IEEE., 2013
Deskripsi Fisik: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 1, NO. 1, JANUARY-JUNE 2013
Bahasa: English
ISBN/ISSN: 2168-7161
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: VOL. 1, NO. 1, JANUARY-JUNE 2013
Subjek: TEKNIK KOMPUTER
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Yuli/Agus

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

FULL TEXT. Modeling and Analysis of State-of-the-Art VM-Based Cloud Management Platforms

Komentar

Anda harus masuk sebelum memberikan komentar