Gerasimou, Simos, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Tamburrelli, Giordano (2018) Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. Automated Software Engineering. ISSN 1573-7535
Abstract
An increasingly used method for the engineering of software systems with strict quality-of-service (QoS) requirements involves the synthesis and verification of probabilistic models for many alternative architectures and instantiations of system parameters. Using manual trial-and-error or simple heuristics for this task often produces suboptimal models, while the exhaustive synthesis of all possible models is typically intractable. The EvoChecker search-based software engineering approach presented in our paper addresses these limitations by employing evolutionary algorithms to automate the model synthesis process and to significantly improve its outcome. EvoChecker can be used to synthesise the Pareto-optimal set of probabilistic models associated with the QoS requirements of a system under design, and to support the selection of a suitable system architecture and configuration. EvoChecker can also be used at runtime, to drive the efficient reconfiguration of a self-adaptive software system. We evaluate EvoChecker on several variants of three systems from different application domains, and show its effectiveness and applicability.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s) 2018 |
Keywords: | search-based software engineering,QoS requirements,Probabilistic model checking,Evolutionary algorithms |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 09 May 2018 14:00 |
Last Modified: | 16 Oct 2024 14:43 |
Published Version: | https://doi.org/10.1007/s10515-018-0235-8 |
Status: | Published online |
Refereed: | Yes |
Identification Number: | 10.1007/s10515-018-0235-8 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:130619 |
Downloads
Filename: main.pdf
Description: Synthesis of Probabilistic Models for Quality-of-Service Software Engineering