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

作     者：Ben Hafaiedh, Imene Ben Hamouda, Roua Robbana, Riadh 

作者机构：Univ Tunis El Manar UTM ISI Tunis 1002 Tunisia Univ Tunis El Manar UTM Fac Sci Tunis FST Tunis 2092 Tunisia Univ Carthage UC Natl Inst Appl Sci & Technol Tunis Tunisia 

出 版 物：《CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS》 (簇计算)

年 卷 期：2021年第24卷第4期

页      面：2977-2994页

核心收录：

学科分类：07[理学] 0703[理学-化学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Formal models Cloud architecture Load balancing protocols Distributed load balancing Performance analysis 

摘      要：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.