Colleague of the DFG Graduate Program `Graduiertenkolleg 621 (MAGSI/Berlin)´
Research group Model-Based Evaluation of Discrete Real-Time Systems
Unified Modeling Language
UML for Real-Time Systems
Quantitative Extensions of UML
Profile for Schedulability, Performance, and Time
Analysis and Simulation
Stochastic Petri Nets
Further Development of the TimeNET Tool
J. Trowitzsch and A. Zimmermann: Using UML
State Machines and Petri Nets for the Quantitative Investigation of
ETCS. Accepted at the First International Conference on
Performance Evaluation Methodologies and Tools (Valuetools
2006), Pisa, Italy, October 2006
A. Zimmermann and J.
Trowitzsch: Eine Quantitative Untersuchung des European Train Control
System mit UML State Machines. Proc. Conf. Entwurf komplexer
Automatisierungssysteme (EKA
2006), Braunschweig, Germany, May 2006; pp 283-304 (in
german)
J. Trowitzsch and A. Zimmermann: Real-Time UML State
Machines: An Analysis Approach. Object Oriented Software Design
for Real Time and Embedded Computer Systems, Net.ObjectDays2005,
Erfurt, Germany, September 2005
J. Trowitzsch, A. Zimmermann
and G. Hommel: Towards Quantitative Analysis of Real-Time UML using
Stochastic Petri Nets. 13th Int. Workshop on Parallel and
Distributed Real-Time Systems (WPDRTS05)
Denver, Colorado, April 2005
Jan Trowitzsch
Technische Universität
Berlin
Sekr. EN 10
Einsteinufer 17
D-10587 Berlin