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

    25 Citations (Scopus)

    Abstract

    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
    Pages167-176
    Number of pages10
    ISBN (Print)0-7695-2665-9
    DOIs
    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
    http://www.qest.org/qest2006/

    Conference

    Conference3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006
    Abbreviated titleQEST
    CountryUnited States
    CityRiverside
    Period11/09/0614/09/06
    Internet address

    Keywords

    • EWI-9280
    • METIS-237967

    Cite this

    Böde, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., ... Becker, B. (2006). Compositional Performability Evaluation for STATEMATE. In 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006 (pp. 167-176). IEEE Computer Society. https://doi.org/10.1109/QEST.2006.10