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

24 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
Böde, Eckard ; Herbstritt, Marc ; Hermanns, Holger ; Johr, Sven ; Peikenkamp, Thomas ; Pulungan, Reza ; Wimmer, Ralf ; Becker, Bernd. / Compositional Performability Evaluation for STATEMATE. 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006. IEEE Computer Society, 2006. pp. 167-176
@inproceedings{bf2e0772735c46bfb3c87fcf4d6e6525,
title = "Compositional Performability Evaluation for STATEMATE",
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.",
keywords = "EWI-9280, METIS-237967",
author = "Eckard B{\"o}de and Marc Herbstritt and Holger Hermanns and Sven Johr and Thomas Peikenkamp and Reza Pulungan and Ralf Wimmer and Bernd Becker",
year = "2006",
doi = "10.1109/QEST.2006.10",
language = "English",
isbn = "0-7695-2665-9",
pages = "167--176",
booktitle = "3rd International Conference on Quantitative Evaluation of Systems, QEST 2006",
publisher = "IEEE Computer Society",
address = "United States",

}

Böde, E, Herbstritt, M, Hermanns, H, Johr, S, Peikenkamp, T, Pulungan, R, Wimmer, R & Becker, B 2006, Compositional Performability Evaluation for STATEMATE. in 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006. IEEE Computer Society, pp. 167-176, 3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006, Riverside, United States, 11/09/06. https://doi.org/10.1109/QEST.2006.10

Compositional Performability Evaluation for STATEMATE. / Böde, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Wimmer, Ralf; Becker, Bernd.

3rd International Conference on Quantitative Evaluation of Systems, QEST 2006. IEEE Computer Society, 2006. p. 167-176.

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

TY - GEN

T1 - Compositional Performability Evaluation for STATEMATE

AU - Böde, Eckard

AU - Herbstritt, Marc

AU - Hermanns, Holger

AU - Johr, Sven

AU - Peikenkamp, Thomas

AU - Pulungan, Reza

AU - Wimmer, Ralf

AU - Becker, Bernd

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - EWI-9280

KW - METIS-237967

U2 - 10.1109/QEST.2006.10

DO - 10.1109/QEST.2006.10

M3 - Conference contribution

SN - 0-7695-2665-9

SP - 167

EP - 176

BT - 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006

PB - IEEE Computer Society

ER -

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