Title

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

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.

Please refer to publisher version or contact your library.

Share

COinS