A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment

Cloud computing is a new technology, providing different online resources and services to users. Load balancing has become an interesting research area in this field. A few existing scheduling algorithms can maintain load balancing and provide better strategies through efficient job scheduling and resource allocation techniques as well. In order to gain maximum profits with optimized load balancing algorithms, it is necessary to guarantee a service level along dimensions such as performance, availability and reliability. In this work, we propose a Model-based approach to study and analyze centralized and distributed dynamic load balancing protocols in the Cloud. The formal verification of different properties of the studied protocols has been performed automatically and a performance analysis allowing their comparison is also provided. In this paper, we show how aspects of performance, resource consumption, and reliability of the Cloud can be formally modeled, verified and analyzed using a component-based architecture.

Automated summary

Cloud computing is a new technology that provides various online resources and services. Load balancing is an important research area in this field, with existing scheduling algorithms playing a key role in maintaining balance and efficiency.