eprintid: 3574
rev_number: 8
eprint_status: archive
userid: 69
dir: disk0/00/00/35/74
datestamp: 2016-10-06 14:45:00
lastmod: 2016-10-06 14:45:00
status_changed: 2016-10-06 14:45:00
type: conference_item
metadata_visibility: show
creators_name: Incerto, Emilio
creators_name: Tribastone, Mirco
creators_name: Trubiani, Catia
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: Symbolic Performance Adaptation
ispublished: pub
subjects: QA76
divisions: CSA
full_text_status: none
pres_type: paper
keywords: performance-based adaptation, queueing networks, satisfiability modulo theories, symbolic analysis
note: SCOPUS ID: 2-s2.0-84974603563
abstract: Quality-of-Service attributes such as performance and reliability heavily depend on the run-time conditions under which software is executed (e.g., workload fluctuation and resources availability). Therefore, it is important to design systems able to adapt their setting and behavior due to these run-time variabilities. In this paper we propose a novel approach based on queuing networks as the quantitative model to represent system configurations. To find a model that fits with continuous changes in run-time conditions we rely on an innovative combination of symbolic analysis and satisfiability modulo theory (SMT). Through symbolic analysis we represent all possible system configurations as a set of nonlinear real constraints. By formulating an SMT problem we are able to devise feasible system configurations at a small computational cost. We study the effectiveness and scalability of our approach on a three-tier web system featuring different levels of redundancy.
date: 2016
date_type: published
series: SEAMS '16
publisher: ACM
place_of_pub: New York, NY, USA
pagerange: 140-150
event_title: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
event_location: New York, USA
event_dates: 2016
event_type: conference
id_number: doi:10.1145/2897053.2897060
refereed: TRUE
isbn: 978-1-4503-4187-5
book_title: SEAMS '16. Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
official_url: http://doi.acm.org/10.1145/2897053.2897060
citation:   Incerto, Emilio and Tribastone, Mirco and Trubiani, Catia  Symbolic Performance Adaptation.  In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016, New York, USA pp. 140-150.  ISBN 978-1-4503-4187-5.      (2016)