Abstract
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 | |
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 |
Keywords
- EWI-9280
- METIS-237967
Cite this
}
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 -