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

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

• Type: Conference
• Year: 2006
• Where: VALUETOOLS
• Authors: Jan Trowitzsch, Armin Zimmermann
• Keywords: Hardware, Petri Nets, State Machines, Stochastic Petri Nets, VALUETOOLS 2006