Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
The State of Fault Injection Vulnerability Detection Read chapter Read first chapter

2018 | OriginalPaper | Chapter

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

Authors : Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana

Published in: Verification and Evaluation of Computer and Communication Systems

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Modelling and Verification of Dynamic Role-Based Access Control
next chapter A Protocol for Constraint Automata Execution in a Synchronous Network of Processors
Literature
1.
Armbrust, M., et al.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010)CrossRef
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)
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)
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)
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)
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)
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)
8.
Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)CrossRef
9.
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134–152 (1997)CrossRef
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)
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)CrossRef
12.
Padhy, R.P., Rao, P.: Load balancing in cloud computing systems. PhD thesis (2011)
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)
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)
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)
16.
Naskos, A., et al.: Cloud elasticity using probabilistic model checking. CoRR (2014)
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)
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)
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). https://​doi.​org/​10.​1007/​978-3-642-17625-8_​13CrossRef
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)
Metadata
Title
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments
Authors
Roua Ben Hamouda
Sabrine Boussema
Imene Ben Hafaiedh
Riadh Robbana
Copyright Year
2018
Book
Verification and Evaluation of Computer and Communication Systems

Print ISBN: 978-3-030-00358-6

Electronic ISBN: 978-3-030-00359-3

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-030-00359-3_5

Premium Partner

    Image Credits