Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

Simos Gerasimou; Radu Constantin Calinescu; Giordano Tamburrelli

doi:10.1007/s10515-018-0235-8

Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

Simos Gerasimou, Radu Constantin Calinescu, Giordano Tamburrelli

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Number of pages	47
Journal	Automated Software Engineering
Early online date	17 May 2018
DOIs	https://doi.org/10.1007/s10515-018-0235-8
Publication status	E-pub ahead of print - 17 May 2018

Bibliographical note

Keywords

search-based software engineering
QoS requirements
Probabilistic model checking
Evolutionary algorithms

Access to Document

10.1007/s10515-018-0235-8

Synthesis of Probabilistic Models for Quality-of-Service Software Engineering
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 1.64 MB
10.1007_s10515-018-0235-8
© The Author(s) 2018
Final published version, 2.03 MBLicence: CC BY

Cite this

@article{01978ac8bdbd49e78538708ac5c749e6,

title = "Synthesis of Probabilistic Models for Quality-of-Service Software Engineering",

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.",

keywords = "search-based software engineering, QoS requirements, Probabilistic model checking, Evolutionary algorithms",

author = "Simos Gerasimou and Calinescu, {Radu Constantin} and Giordano Tamburrelli",

note = "{\textcopyright} The Author(s) 2018",

year = "2018",

month = may,

day = "17",

doi = "10.1007/s10515-018-0235-8",

language = "English",

journal = "Automated Software Engineering",

issn = "0928-8910",

publisher = "Springer",

}

TY - JOUR

T1 - Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

AU - Gerasimou, Simos

AU - Calinescu, Radu Constantin

AU - Tamburrelli, Giordano

PY - 2018/5/17

Y1 - 2018/5/17

N2 - 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.

AB - 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.

KW - search-based software engineering

KW - QoS requirements

KW - Probabilistic model checking

KW - Evolutionary algorithms

U2 - 10.1007/s10515-018-0235-8

DO - 10.1007/s10515-018-0235-8

M3 - Article

SN - 0928-8910

JO - Automated Software Engineering

JF - Automated Software Engineering

ER -