Compositional Performability Evaluation for STATEMATE

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

doi:10.1109/QEST.2006.10

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	3rd International Conference on Quantitative Evaluation of Systems, QEST 2006
Publisher	IEEE Computer Society
Pages	167-176
Number of pages	10
ISBN (Print)	0-7695-2665-9
DOIs	https://doi.org/10.1109/QEST.2006.10
Publication status	Published - 2006
Event	3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006 - University of California, Riverside, United States Duration: 11 Sep 2006 → 14 Sep 2006 Conference number: 3 http://www.qest.org/qest2006/

Conference

Conference	3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006
Abbreviated title	QEST
Country	United States
City	Riverside
Period	11/09/06 → 14/09/06
Internet address	http://www.qest.org/qest2006/

Keywords

EWI-9280
METIS-237967

Access to Document

10.1109/QEST.2006.10

http://doi.ieeecomputersociety.org/10.1109/QEST.2006.10

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

@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 proceeding › Conference contribution › Academic › peer-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 -