In: valuetools '06: Proceedings of the 1st international conference on Performance evaluation methodolgies and tools, pages 1-34. ACM Press, 2006.
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.