@inproceedings{043a4801973b42f7822542434d5f1f73,
title = "Zephyrus2: On the fly deployment optimization using SMT and CP technologies",
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.",
author = "Erika {\'A}brah{\'a}m and Florian Corzilius and Johnsen, {Einar Broch} and Gereon Kremer and Jacopo Mauro",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-47677-3_15",
language = "English",
isbn = "9783319476766",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "229--245",
editor = "Martin Franzle and Deepak Kapur and Naijun Zhan",
booktitle = "Dependable Software Engineering",
address = "Germany",
note = "2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016 ; Conference date: 09-11-2016 Through 11-11-2016",
}