Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments

  • Roua Ben Hamouda
  • Sabrine BoussemaEmail author
  • Imene Ben Hafaiedh
  • Riadh Robbana
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11181)


Cloud computing has recently emerged as a new paradigm for hosting and delivering services over the Internet. It is an attracting technology in the field of computer science since it allows starting from the small and increases resources only when there is a rise in service demand. Load balancing can improve the Quality of Service (QoS) metrics, including response time, cost, throughput, performance and resource utilization in Cloud environments. It can be described as an optimization problem and should be adapting nature due to the changing needs. In this paper, we propose a first step towards formal verification of dynamic load balancing protocols in the Cloud. The proposed approach offers a way to easily implement, analyze and compare different load balancing protocols, based on a generic model. We focus on the study of centralized and dynamic load-balancing protocols. We propose a high-level model allowing to specify a set of well known load balancing protocols. A formal and QoS evaluations has been performed automatically, using Uppaal framework.


Formal model Cloud computing Load balancing Task migration Dynamic load balancing Performance analysis 


  1. 1.
    Armbrust, M., et al.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010)CrossRefGoogle Scholar
  2. 2.
    Rimal, B.P., Choi, E., Lumb, I.: A taxonomy and survey of cloud computing systems. In: 2009 Fifth International Joint Conference on INC, IMS and IDC, pp. 44–51 (2009)Google Scholar
  3. 3.
    Joshi, S., Kumari, U.: Load balancing in cloud computing: challenges issues. In: 2nd International Conference on Contemporary Computing and Informatics (IC3I), pp. 120–125 (2016)Google Scholar
  4. 4.
    Aslam, S., Shah, M.A.: Load balancing algorithms in cloud computing: a survey of modern techniques. In: 2015 National Software Engineering Conference (NSEC), pp. 30–35 (2015)Google Scholar
  5. 5.
    Nuaimi, K.A., Mohamed, N., Nuaimi, M.A., Al-Jaroodi, J.: A survey of load balancing in cloud computing: challenges and algorithms. In: Second Symposium on Network Cloud Computing and Applications, NCCA, pp. 137–142 (2012)Google Scholar
  6. 6.
    Radojevic, B., Zagar, M.: Analysis of issues with load balancing algorithms in hosted (cloud) environments. In: 2011 Proceedings of the 34th International Convention MIPRO, Opatija, Croatia, 23–27 May 2011, pp. 416–420 (2011)Google Scholar
  7. 7.
    Panwar, R., Mallick, B.: Load balancing in cloud computing using dynamic load management algorithm. In: International Conference on Green Computing and Internet of Things (ICGCIoT), pp. 773–778 (2015)Google Scholar
  8. 8.
    Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)CrossRefGoogle Scholar
  9. 9.
    Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134–152 (1997)CrossRefGoogle Scholar
  10. 10.
    Mesbahi, M., Rahmani, A.: Load balancing in cloud computing: a state of the art survey. Int. J. Mod. Educ. Comput. Sci. 8(3) (2016)Google Scholar
  11. 11.
    Milani, A.S., Navimipour, N.J.: Load balancing mechanisms and techniques in the cloud environments: systematic literature review and future trends. J. Netw. Comput. Appl. 71, 86–98 (2016)CrossRefGoogle Scholar
  12. 12.
    Padhy, R.P., Rao, P.: Load balancing in cloud computing systems. PhD thesis (2011)Google Scholar
  13. 13.
    Ray, S., De Sarkar, A.: Execution analysis of load balancing algorithms in cloud computing environment. Int. J. Cloud Comput.: Serv. Arch. (IJCCSA) 2(5), 1–13 (2012)Google Scholar
  14. 14.
    Volkova, V.N., Chemenkaya, L.V., Desyatirikova, E.N., Hajali, M., Khodar, A., Osama, A.: Load balancing in cloud computing. In: IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), pp. 387–390 (2018)Google Scholar
  15. 15.
    Jarraya, Y., Eghtesadi, A., Debbabi, M., Zhang, Y., Pourzandi, M.: Cloud calculus: security verification in elastic cloud computing platform. In: 2012 International Conference on Collaboration Technologies and Systems, CTS 2012, Denver, CO, USA, 21–25 May 2012, pp. 447–454 (2012)Google Scholar
  16. 16.
    Naskos, A., et al.: Cloud elasticity using probabilistic model checking. CoRR (2014)Google Scholar
  17. 17.
    Kikuchi, S., Aoki, T.: Evaluation of operational vulnerability in cloud service management using model checking. 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering, pp. 37–48 (2013)Google Scholar
  18. 18.
    Samal, P., Mishra, P.: Analysis of variants in round robin algorithms for load balancing in cloud computing. Int. J. Comput. Sci. Inf. Technol. 4, 416–419 (2013)Google Scholar
  19. 19.
    Choi, D.J., Chung, K.S., Shon, J.G.: An improvement on the weighted least-connection scheduling algorithm for load balancing in web cluster systems. In: Kim, T., Yau, S.S., Gervasi, O., Kang, B.-H., Stoica, A., Ślęzak, D. (eds.) FGIT 2010. CCIS, vol. 121, pp. 127–134. Springer, Heidelberg (2010). Scholar
  20. 20.
    Bakde, K.G., Patil, B.: Survey of techniques and challenges for load balancing in public cloud. Int. J. Tech. Res. Appl. 4, 279–290 (2016)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Roua Ben Hamouda
    • 1
  • Sabrine Boussema
    • 2
    Email author
  • Imene Ben Hafaiedh
    • 2
  • Riadh Robbana
    • 3
  1. 1.Faculty of Sciences of Tunis (FST)University of Tunis El Manar (UTM)TunisTunisia
  2. 2.Higher Institute of Computer Science (ISI)UTMTunisTunisia
  3. 3.National Institute of Applied Science and Technology (INSAT)University of Carthage (UC)TunisTunisia

Personalised recommendations