The performability tool P'ility

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    73 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 languageUndefined
    Title of host publicationProceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages117-118
    Number of pages2
    ISBN (Print)978-0-7695-3360-5
    DOIs
    Publication statusPublished - Sep 2008
    Event5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 - Palais du Grand Large, St Malo, France
    Duration: 14 Sep 200817 Sep 2008
    Conference number: 5
    http://www.qest.org/qest2008/

    Publication series

    Name
    PublisherIEEE Computer Society Press
    NumberWP 08-02

    Conference

    Conference5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
    Abbreviated titleQEST
    CountryFrance
    CitySt Malo
    Period14/09/0817/09/08
    Internet address

    Keywords

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

    Cite this