Issue No. 04 - July-Aug. (2017 vol. 10)
Asad W. Malik , Department of Computing, National University of Sciences and Technology (NUST-SEECS), Islamabad, Pakistan
Kashif Bilal , Department of Computer Science, COMSATS Institute of Information Technology, Pakistan
S. U. Malik , Department of Computer Science, COMSATS Institute of Information Technology, Pakistan
Zahid Anwar , Department of Computing, National University of Sciences and Technology (NUST-SEECS), Islamabad, Pakistan
Khurram Aziz , Department of Electrical Engineering, COMSATS Institute of Information Technology, Pakistan
Dzmitry Kliazovich , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Nasir Ghani , Electrical Engineering Department, University of South Florida, FL
Samee U. Khan , Department of Electrical and Computer Engineering, North Dakota State University, Fargo
Rajkumar Buyya , CLOUDS Laboratory, University of Mel-bourne, Australia
State-of-the-art cloud simulators in use today are limited in the number of features they provide, lack real network communication models, and do not provide extensive Graphical User Interface (GUI) to support developers and researchers to extend the behavior of the cloud environment. We propose CloudNetSim++, a comprehensive packet level simulator that enables simulation of cloud environments. CloudNetSim++ can be used to evaluate a wide spectrum of cloud components, such as processing elements, storage, networking, Service Level Agreement (SLA), scheduling algorithms, fine grained energy consumption, and VM consolidation algorithms. CloudNetSim++ offers extendibility, which means that the developers and researchers can easily incorporate own algorithms for scheduling, workload consolidation, VM migration, and SLA agreement. The simulation environment of CloudNetSim++ offers a rich GUI that provides a high level view of distributed data centers connected with various network topologies. The package also includes an energy computation module that provides a fine grained analysis of energy consumed by each component. This paper shows the flexibility and effectiveness of CloudNetSim++ through experimental results demonstrated using real-world data center workloads. Moreover, to demonstrate the correctness of CloudNetSim++, we performed formal modeling, analysis, and verification using High-level Petri Nets, Satisfiability Modulo Theories (SMT), and Z3 solver.
Cloud computing, Computational modeling, Data models, Clouds, Distributed databases, Graphical user interfaces, Servers
A. W. Malik et al., "CloudNetSim++: A GUI Based Framework for Modeling and Simulation of Data Centers in OMNeT++," in IEEE Transactions on Services Computing, vol. 10, no. 4, pp. 506-519, 2017.