Reliability of run-time quality-of-service evaluation using parametric model checking

Authors

Guoxin Su, University of WollongongFollow
David Rosenblum, National University of Singapore
Giordano Tamburrelli, BESTSELLER E-commerce

RIS ID

113667

Publication Details

Su, G., Rosenblum, D. & Tamburrelli, G. (2016). Reliability of run-time quality-of-service evaluation using parametric model checking. IEEE/ACM 38th International Conference on Software Engineering (ICSE 2016) (pp. 1-12). IEEE Xplore: IEEE.

Abstract

Run-time Quality-of-Service (QoS) assurance is crucial for business-critical systems. Complex behavioral performance metrics (PMs) are useful but often difficult to monitor or measure. Probabilistic model checking, especially parametric model checking, can support the computation of aggregate functions for a broad range of those PMs.