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… (More)
DOI: 10.1145/1190095.1190138

10 Figures and Tables


  • Presentations referencing similar topics