The performability tool P'ility

L. Cloth; Boudewijn R.H.M. Haverkort

doi:10.1109/QEST.2008.27

The performability tool P'ility

L. Cloth, Boudewijn R.H.M. Haverkort

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

183 Downloads (Pure)

Abstract

The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithms for the numerical evaluation of the performability distribution have been proposed. Many of these algorithms only solve specialised MRMs, for example, with only 0 and 1 as reward rates or compute the expected value of the accumulated reward. The P'ility tool implements four algorithms that allow for the computation of the performability distribution in its full generality.

Original language	Undefined
Title of host publication	Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	117-118
Number of pages	2
ISBN (Print)	978-0-7695-3360-5
DOIs	https://doi.org/10.1109/QEST.2008.27
Publication status	Published - Sept 2008
Event	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 - Palais du Grand Large, St Malo, France Duration: 14 Sept 2008 → 17 Sept 2008 Conference number: 5 http://www.qest.org/qest2008/

Publication series

Name
Publisher	IEEE Computer Society Press
Number	WP 08-02

Conference

Conference	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Abbreviated title	QEST
Country/Territory	France
City	St Malo
Period	14/09/08 → 17/09/08
Internet address	http://www.qest.org/qest2008/

Keywords

EWI-14936
METIS-255150
IR-65329

Access to Document

10.1109/QEST.2008.27

Cite this

@inproceedings{8ff240b02323449685e9b5ca8eb24b7d,

title = "The performability tool P'ility",

abstract = "The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithms for the numerical evaluation of the performability distribution have been proposed. Many of these algorithms only solve specialised MRMs, for example, with only 0 and 1 as reward rates or compute the expected value of the accumulated reward. The P'ility tool implements four algorithms that allow for the computation of the performability distribution in its full generality.",

keywords = "EWI-14936, METIS-255150, IR-65329",

author = "L. Cloth and Haverkort, {Boudewijn R.H.M.}",

year = "2008",

month = sep,

doi = "10.1109/QEST.2008.27",

language = "Undefined",

isbn = "978-0-7695-3360-5",

publisher = "IEEE",

number = "WP 08-02",

pages = "117--118",

booktitle = "Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008",

address = "United States",

note = "5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 ; Conference date: 14-09-2008 Through 17-09-2008",

url = "http://www.qest.org/qest2008/",

}

Cloth, L & Haverkort, BRHM 2008, The performability tool P'ility. in Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008., 10.1109/QEST.2008.27, IEEE, Los Alamitos, pp. 117-118, 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, St Malo, France, 14/09/08. https://doi.org/10.1109/QEST.2008.27

TY - GEN

T1 - The performability tool P'ility

AU - Cloth, L.

AU - Haverkort, Boudewijn R.H.M.

N1 - Conference code: 5

PY - 2008/9

Y1 - 2008/9

N2 - The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithms for the numerical evaluation of the performability distribution have been proposed. Many of these algorithms only solve specialised MRMs, for example, with only 0 and 1 as reward rates or compute the expected value of the accumulated reward. The P'ility tool implements four algorithms that allow for the computation of the performability distribution in its full generality.

AB - The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithms for the numerical evaluation of the performability distribution have been proposed. Many of these algorithms only solve specialised MRMs, for example, with only 0 and 1 as reward rates or compute the expected value of the accumulated reward. The P'ility tool implements four algorithms that allow for the computation of the performability distribution in its full generality.

KW - EWI-14936

KW - METIS-255150

KW - IR-65329

U2 - 10.1109/QEST.2008.27

DO - 10.1109/QEST.2008.27

M3 - Conference contribution

SN - 978-0-7695-3360-5

SP - 117

EP - 118

BT - Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

PB - IEEE

CY - Los Alamitos

T2 - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Y2 - 14 September 2008 through 17 September 2008

ER -