loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Compositional Performability Evaluation for STATEMATE
Riverside, California
September 11-September 14
ISBN: 0-7695-2665-9
ASCII Text
x 
 
Eckard Bode, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker, "Compositional Performability Evaluation for STATEMATE," Quantitative Evaluation of Systems, International Conference on, pp. 167-178, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2006.10,
author = {Eckard Bode and Marc Herbstritt and Holger Hermanns and Sven Johr and Thomas Peikenkamp and Reza Pulungan and Ralf Wimmer and Bernd Becker},
title = {Compositional Performability Evaluation for STATEMATE},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2665-9},
pages = {167-178},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - Compositional Performability Evaluation for STATEMATE
SN - 0-7695-2665-9
SP167
EP178
A1 - Eckard Bode,
A1 - Marc Herbstritt,
A1 - Holger Hermanns,
A1 - Sven Johr,
A1 - Thomas Peikenkamp,
A1 - Reza Pulungan,
A1 - Ralf Wimmer,
A1 - Bernd Becker,
PY - 2006
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Eckard Bode, Kuratorium OFFIS e.V., Oldenburg, Germany
Marc Herbstritt, Albert-Ludwigs-University Freiburg im Breisgau, Germany
Holger Hermanns, Saarland University, Saarbr¨ucken, Germany
Sven Johr, Saarland University, Saarbr¨ucken, Germany
Thomas Peikenkamp, Kuratorium OFFIS e.V., Oldenburg, Germany
Reza Pulungan, Saarland University, Saarbr¨ucken, Germany
Ralf Wimmer, Albert-Ludwigs-University Freiburg im Breisgau, Germany
Bernd Becker, Albert-Ludwigs-University Freiburg im Breisgau, Germany
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.
Citation:
Eckard Bode, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker, "Compositional Performability Evaluation for STATEMATE," qest, pp.167-178, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.