The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2006)
Riverside, California
Sept. 11, 2006 to Sept. 14, 2006
ISBN: 0-7695-2665-9
pp: 167-178
Ralf Wimmer , Albert-Ludwigs-University Freiburg im Breisgau, Germany
Sven Johr , Saarland University, Saarbr¨ucken, Germany
Holger Hermanns , Saarland University, Saarbr¨ucken, Germany
Bernd Becker , Albert-Ludwigs-University Freiburg im Breisgau, Germany
Eckard Bode , Kuratorium OFFIS e.V., Oldenburg, Germany
Marc Herbstritt , Albert-Ludwigs-University Freiburg im Breisgau, Germany
Thomas Peikenkamp , Kuratorium OFFIS e.V., Oldenburg, Germany
Reza Pulungan , Saarland University, Saarbr¨ucken, Germany
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.
INDEX TERMS
null
CITATION
Ralf Wimmer, Sven Johr, Holger Hermanns, Bernd Becker, Eckard Bode, Marc Herbstritt, Thomas Peikenkamp, Reza Pulungan, "Compositional Performability Evaluation for STATEMATE", Quantitative Evaluation of Systems, International Conference on, vol. 00, no. , pp. 167-178, 2006, doi:10.1109/QEST.2006.10
103 ms
(Ver )