Zephyrus2: On the fly deployment optimization using SMT and CP technologies

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Modern cloud applications consist of software components deployed on multiple virtual machines. Deploying such applications is error prone and requires detailed system expertise. The deployment optimization problem is about how to configure and deploy applications correctly while at the same time minimizing resource cost on the cloud. This problem is addressed by tools such as Zephyrus, which take a declarative specification of the components and their configuration requirements as input and propose an optimal deployment. This paper presents Zephyrus2, a new tool which addresses deployment optimization by exploiting modern SMT and CP technologies to handle larger and more complex deployment scenarios. Compared to Zephyrus, Zephyrus2 can solve problems involving hundreds of components to be deployed on hundreds of virtual machines in a matter of seconds instead of minutes. This significant speed-up, combined with an improved specification format, enables Zephyrus2 to interactively support on the fly decision making.

Original languageEnglish
Title of host publicationDependable Software Engineering : Theories, Tools, and Applications - 2nd International Symposium, SETTA 2016, Proceedings
EditorsMartin Franzle, Deepak Kapur, Naijun Zhan
Number of pages17
PublisherSpringer
Publication date1. Jan 2016
Pages229-245
ISBN (Print)9783319476766
DOIs
Publication statusPublished - 1. Jan 2016
Externally publishedYes
Event2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016 - Beijing, China
Duration: 9. Nov 201611. Nov 2016

Conference

Conference2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016
Country/TerritoryChina
CityBeijing
Period09/11/201611/11/2016
SeriesLecture Notes in Computer Science
Volume9984 LNCS
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Zephyrus2: On the fly deployment optimization using SMT and CP technologies'. Together they form a unique fingerprint.

Cite this