The Performability Tool P'ility

  • Authors:
  • Lucia Cloth;Boudewijn R. Haverkort

  • Affiliations:
  • -;-

  • Venue:
  • QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithmsfor the numerical evaluation of the performability distribution have been proposed. Many of these algorithmsonly 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.