Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

Alexandros Evangelidis, David Parker, Rami Bahsoon

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)
209 Downloads (Pure)


Auto-scaling, a key property of cloud computing, allows application owners to acquire and release resources on demand. However, the shared environment, along with the exponentially large configuration space of available parameters, makes the configuration of auto-scaling policies a challenging task. In particular, it is difficult to quantify, a priori, the impact of a policy on Quality of Service (QoS) provision. To address this problem, we propose a novel approach based on performance modelling and formal verification to produce performance guarantees on particular rule-based auto-scaling policies. We demonstrate the usefulness and efficiency of our techniques through a detailed validation process on two public cloud providers, Amazon EC2 and Microsoft Azure, targeting two cloud computing models, Infrastructure as a Service (IaaS) and Platform as a Service (PaaS), respectively. Our experimental results show that the modelling process along with the model itself can be very effective in providing the necessary formal reasoning to cloud application owners with respect to the configuration of their auto-scaling policies, and consequently helping them to specify an auto-scaling policy which could minimise QoS violations.
Original languageEnglish
Number of pages21
JournalFuture Generation Computer Systems
Early online date10 Jan 2018
Publication statusE-pub ahead of print - 10 Jan 2018


  • auto-scaling
  • Markov models
  • probabilistic verification


Dive into the research topics of 'Performance Modelling and Verification of Cloud-based Auto-Scaling Policies'. Together they form a unique fingerprint.

Cite this