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

@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",

note = "3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006, QEST ; Conference date: 11-09-2006 Through 14-09-2006",

url = "http://www.qest.org/qest2006/",

}

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

N1 - Conference code: 3

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

T2 - 3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006

Y2 - 11 September 2006 through 14 September 2006

ER -