The Community for Technology Leaders
RSS Icon
Subscribe
Riverside, CA
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
Eckard Bode, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker, "Compositional Performability Evaluation for STATEMATE", QEST, 2006, Third International Conference on the Quantitative Evaluation of Systems, Third International Conference on the Quantitative Evaluation of Systems 2006, pp. 167-178, doi:10.1109/QEST.2006.10
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool