Compositional Performability Evaluation for STATEMATE

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker

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

    28 Citations (Scopus)


    This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed reachability analysis of uniform continuous-time Markov decision processes, which are generated from STATEMATE models. We give a detailed explanation of several construction, transformation, reduction, and analysis steps required to make this possible. The entire tool flow has been implemented, and it is applied to a nontrivial example.
    Original languageEnglish
    Title of host publication3rd International Conference on Quantitative Evaluation of Systems, QEST 2006
    PublisherIEEE Computer Society
    Number of pages10
    ISBN (Print)0-7695-2665-9
    Publication statusPublished - 2006
    Event3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006 - University of California, Riverside, United States
    Duration: 11 Sep 200614 Sep 2006
    Conference number: 3


    Conference3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006
    Abbreviated titleQEST
    Country/TerritoryUnited States
    Internet address


    • EWI-9280
    • METIS-237967


    Dive into the research topics of 'Compositional Performability Evaluation for STATEMATE'. Together they form a unique fingerprint.

    Cite this