Using UML state machines and petri nets for the quantitative investigation of ETCS

J.  Trowitzsch; A.  Zimmermann

1st International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Using UML state machines and petri nets for the quantitative investigation of ETCS

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1145/1190095.1190138,
    author={J.  Trowitzsch and A.  Zimmermann},
    title={Using UML state machines and petri nets for the quantitative investigation of ETCS},
    proceedings={1st International ICST Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2012},
    month={4},
    keywords={UML State Machines Stochastic Petri Nets ETCS Model Transformation},
    doi={10.1145/1190095.1190138}
}

J. Trowitzsch
A. Zimmermann
Year: 2012
Using UML state machines and petri nets for the quantitative investigation of ETCS
VALUETOOLS
ACM
DOI: 10.1145/1190095.1190138

J. Trowitzsch¹^,*, A. Zimmermann²^,*

1: Technical University Berlin, Real-Time Systems and Robotics
2: University Potsdam, Hasso Plattner Institute for IT Systems Engineering

*Contact email: joni@cs.tu-berlin.de, armin.zimmermann@hpi.unipotsdam.de

Abstract

This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulability, Performance, and Time. This Profile allows the detailed description of quantitative system aspects such as times and probabilistic choice. For the resulting models a transformation into a Stochastic Petri Net is established. The Petri Net's performance measures can be determined by simulation or numerical analysis. A part of the future European Train Control System (ETCS) serves as an application example. The relationship between ETCS communication quality and minimal distance between subsequent trains is investigated.

Keywords: UML State Machines Stochastic Petri Nets ETCS Model Transformation

Published: 2012-04-06
Publisher: ACM

: http://dx.doi.org/10.1145/1190095.1190138