A toolkit for performability evaluation based on stochastic UML state machines

Authors:
J. Trowitzsch;D. Jerzynek;A. Zimmermann
Affiliations:
Technische Universität Berlin, Real-Time Systems and Robotics;Technische Universität Berlin, Real-Time Systems and Robotics;Technische Universität Berlin, Real-Time Systems and Robotics
Venue:
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Year:
2007

Citing 6
Cited 2

Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets

Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance analysis of time-enhanced UML diagrams based on stochastic processes

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From UML sequence diagrams and statecharts to analysable petri net models

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Using UML state machines and petri nets for the quantitative investigation of ETCS

valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
ArgoSPE: model-based software performance engineering

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Dependability evaluation of complex systems with TimeNET

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Dependability analysis of DES based on MARTE and UML state machines models

Discrete Event Dynamic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper considers a sub-set of UML State Machines extended by annotations from the UML Profile for Schedulability, Performance, and Time for the modeling of technical systems and their behavior. A toolkit is presented for performability evaluation of these stochastic UML State Machine models. It extends our modeling and evaluation tool TimeNET. Performance evaluation of the resulting extended UML. State Machine models is done indirectly via an automatic transformation into a stochastic Petri net, to which existing evaluation techniques are applied subsequently.