An Attribute-based Availability Model for Large Scale IaaS Clouds with CARMA

Hongwu Lv, Jane Hillston, Paul Piho, Huiqiang Wang

Research output: Contribution to journalArticlepeer-review


High availability is one of the core properties of Infrastructure as a Service (IaaS) and ensures that users have anytime access to on-demand cloud services. However, significant variations of workflow and the presence of super-tasks, mean that heterogeneous workload can severely impact the availability of IaaS clouds. Although previous work has investigated global queues, VM deployment, and failure of PMs, two aspects are yet to be fully explored: one is the impact of task size and the other is the differing features across PMs such as the variable execution rate and capacity. To address these challenges we propose an attribute-based availability model of large scale IaaS developed in the formal modeling language CARMA. The size of tasks in our model can be a fixed integer value or follow the normal, uniform or log-normal distribution. Additionally, our model also provides an easy approach to investigating how to arrange the slack and normal resources in order to achieve availability levels. The two goals of our work are providing an analysis of the availability of IaaS and showing that the use of CARMA allows us to easily model complex phenomena that were not readily captured by other existing approaches.
Original languageEnglish
Pages (from-to)733 - 748
Number of pages16
JournalIEEE Transactions on Parallel and Distributed Systems
Issue number3
Early online date24 Sep 2019
Publication statusPublished - 1 Mar 2020


Dive into the research topics of 'An Attribute-based Availability Model for Large Scale IaaS Clouds with CARMA'. Together they form a unique fingerprint.

Cite this