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 -