By the same authors

Adaptive model learning for continual verification of non-functional properties

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Adaptive model learning for continual verification of non-functional properties. / Calinescu, Radu; Rafiq, Yasmin; Johnson, Kenneth; Bakir, Mehmet Emin.

ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), 2014. p. 87-98.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Calinescu, R, Rafiq, Y, Johnson, K & Bakir, ME 2014, Adaptive model learning for continual verification of non-functional properties. in ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), pp. 87-98, 5th ACM/SPEC International Conference on Performance Engineering, ICPE 2014, Dublin, United Kingdom, 22/03/14. https://doi.org/10.1145/2568088.2568094

APA

Calinescu, R., Rafiq, Y., Johnson, K., & Bakir, M. E. (2014). Adaptive model learning for continual verification of non-functional properties. In ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (pp. 87-98). Association for Computing Machinery (ACM). https://doi.org/10.1145/2568088.2568094

Vancouver

Calinescu R, Rafiq Y, Johnson K, Bakir ME. Adaptive model learning for continual verification of non-functional properties. In ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM). 2014. p. 87-98 https://doi.org/10.1145/2568088.2568094

Author

Calinescu, Radu ; Rafiq, Yasmin ; Johnson, Kenneth ; Bakir, Mehmet Emin. / Adaptive model learning for continual verification of non-functional properties. ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), 2014. pp. 87-98

Bibtex - Download

@inproceedings{ff9b7c43cbff4b5faacece2a85ac7818,
title = "Adaptive model learning for continual verification of non-functional properties",
abstract = "A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a formal technique called continual verification can be used to ensure that such systems continue to satisfy their reliability and performance requirements as they evolve, and we presented the challenges associated with the new technique. In this paper, we address important instances of two of these challenges, namely the maintenance of up-to-date reliability models and the adoption of continual verification in engineering practice. To address the first challenge, we introduce a new method for learning the parameters of the reliability models from observations of the system behaviour. This method is capable of adapting to variations in the frequency of the available system observations, yielding faster and more accurate learning than existing solutions. To tackle the second challenge, we present a new software engineering tool that enables developers to use our adaptive learning and continual verification in the area of service-based systems, without a formal verification background and with minimal effort. Copyright is held by the owner/author(s). Publication rights licensed to ACM.",
keywords = "Discrete-time Markov models, On-line model learning, Runtime quantitative verification, Service-based systems",
author = "Radu Calinescu and Yasmin Rafiq and Kenneth Johnson and Bakir, {Mehmet Emin}",
year = "2014",
month = jan,
day = "1",
doi = "10.1145/2568088.2568094",
language = "English",
isbn = "978-1-4503-2733-6",
pages = "87--98",
booktitle = "ICPE 2014",
publisher = "Association for Computing Machinery (ACM)",
note = "5th ACM/SPEC International Conference on Performance Engineering, ICPE 2014 ; Conference date: 22-03-2014 Through 26-03-2014",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Adaptive model learning for continual verification of non-functional properties

AU - Calinescu, Radu

AU - Rafiq, Yasmin

AU - Johnson, Kenneth

AU - Bakir, Mehmet Emin

PY - 2014/1/1

Y1 - 2014/1/1

N2 - A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a formal technique called continual verification can be used to ensure that such systems continue to satisfy their reliability and performance requirements as they evolve, and we presented the challenges associated with the new technique. In this paper, we address important instances of two of these challenges, namely the maintenance of up-to-date reliability models and the adoption of continual verification in engineering practice. To address the first challenge, we introduce a new method for learning the parameters of the reliability models from observations of the system behaviour. This method is capable of adapting to variations in the frequency of the available system observations, yielding faster and more accurate learning than existing solutions. To tackle the second challenge, we present a new software engineering tool that enables developers to use our adaptive learning and continual verification in the area of service-based systems, without a formal verification background and with minimal effort. Copyright is held by the owner/author(s). Publication rights licensed to ACM.

AB - A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a formal technique called continual verification can be used to ensure that such systems continue to satisfy their reliability and performance requirements as they evolve, and we presented the challenges associated with the new technique. In this paper, we address important instances of two of these challenges, namely the maintenance of up-to-date reliability models and the adoption of continual verification in engineering practice. To address the first challenge, we introduce a new method for learning the parameters of the reliability models from observations of the system behaviour. This method is capable of adapting to variations in the frequency of the available system observations, yielding faster and more accurate learning than existing solutions. To tackle the second challenge, we present a new software engineering tool that enables developers to use our adaptive learning and continual verification in the area of service-based systems, without a formal verification background and with minimal effort. Copyright is held by the owner/author(s). Publication rights licensed to ACM.

KW - Discrete-time Markov models

KW - On-line model learning

KW - Runtime quantitative verification

KW - Service-based systems

UR - http://www.scopus.com/inward/record.url?scp=84899669927&partnerID=8YFLogxK

U2 - 10.1145/2568088.2568094

DO - 10.1145/2568088.2568094

M3 - Conference contribution

AN - SCOPUS:84899669927

SN - 978-1-4503-2733-6

SP - 87

EP - 98

BT - ICPE 2014

PB - Association for Computing Machinery (ACM)

T2 - 5th ACM/SPEC International Conference on Performance Engineering, ICPE 2014

Y2 - 22 March 2014 through 26 March 2014

ER -