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
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
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

R. Wimmer et al., "Compositional Performability Evaluation for STATEMATE," Quantitative Evaluation of Systems, International Conference on(QEST), Riverside, California, 2006, pp. 167-178.
doi:10.1109/QEST.2006.10
79 ms
(Ver 3.3 (11022016))