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

28 Citations (Scopus)

1 Downloads (Pure)

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
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 Sept 2006 → 14 Sept 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/Territory	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",

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, pp. 167-176, 3rd International Conference on Quantitative Evaluation of SysTems, QEST 2006, Riverside, California, United States, 11/09/06. https://doi.org/10.1109/QEST.2006.10

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

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

Y2 - 11 September 2006 through 14 September 2006

ER -

Compositional Performability Evaluation for STATEMATE

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this