Compositional Performability Evaluation for STATEMATE

Riverside, California September 11-September 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/QEST.2006.10

Third International Conference on the ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Eckard Bode Articles by Marc Herbstritt Articles by Holger Hermanns Articles by Sven Johr Articles by Thomas Peikenkamp Articles by Reza Pulungan Articles by Ralf Wimmer Articles by Bernd Becker

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.