A Toolkit for Performability Evaluation Based on Stochastic UML State Machines

J. Trowitzsch; D. Jerzynek; A. Zimmermann

2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

A Toolkit for Performability Evaluation Based on Stochastic UML State Machines

Download334 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/valuetools.2007.1946,
    author={J. Trowitzsch and D. Jerzynek and A. Zimmermann},
    title={A Toolkit for Performability Evaluation Based on Stochastic UML State Machines},
    proceedings={2nd International ICST Conference on Performance Evaluation Methodologies and Tools},
    proceedings_a={VALUETOOLS},
    year={2010},
    month={5},
    keywords={Stochastic UML State Machines Software Tool Petri Nets Model Transformation Performance Evaluation},
    doi={10.4108/valuetools.2007.1946}
}

J. Trowitzsch
D. Jerzynek
A. Zimmermann
Year: 2010
A Toolkit for Performability Evaluation Based on Stochastic UML State Machines
VALUETOOLS
ICST
DOI: 10.4108/valuetools.2007.1946

J. Trowitzsch¹^,*, D. Jerzynek¹^,*, A. Zimmermann¹^,*

1: Technische Universität Berlin Real-Time Systems and Robotics

*Contact email: joni@cs.tu-berlin.de, danjerz@cs.tu-berlin.de, azi@cs.tu-berlin.de

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.

Keywords: Stochastic UML State Machines Software Tool Petri Nets Model Transformation Performance Evaluation

Published: 2010-05-16
Modified: 2011-09-14

: http://dx.doi.org/10.4108/valuetools.2007.1946