2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

A Toolkit for Performability Evaluation Based on Stochastic UML State Machines

Download206 downloads
  • @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. Trowitzsch1,*, D. Jerzynek1,*, A. Zimmermann1,*
  • 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.