The Performability Tool P´ility

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.