The performability tool P'ility

Research output: Other contribution

2 Citations (Scopus)

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 languageEnglish
PublisherIEEE Computer Society
Number of pages2
Place of PublicationLos Alamitos
ISBN (Print)9780769533605
DOIs
Publication statusPublished - Sep 2008
Externally publishedYes

Keywords

  • EWI-14936
  • METIS-255150
  • IR-65329

Cite this