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

ACM International Conference Proceeding Series

Volumn 180, Issue , 2006, Pages

  Trowitzsch, J ^a   Zimmermann, A ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

ETCS; Model transformation; Stochastic petri nets; UML state machines

Indexed keywords

MATHEMATICAL TRANSFORMATIONS; NUMERICAL METHODS; PETRI NETS; PROBABILITY; STATE ASSIGNMENT; STOCHASTIC MODELS;

MODEL TRANSFORMATIONS; PROBABILISTIC CHOICE; STOCHASTIC PETRI NETS; UML STATE MACHINES;

UNIFIED MODELING LANGUAGE;

EID: 34748922262     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190095.1190138     Document Type: Conference Paper

References (26)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in parallel computing. John Wiley and Sons, 1995.
2. S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In Proc. of the 3rd Int. Workshop on Software and Performance (WOSP), pages 35-45, Rome, Italy, July 2002.
3. A. Coraiola and M. Antscher. GSM-R network for the high-speed line Rome-Naples. Signal und Draht, 92(5):42-45, 2000.
4. EEIG ERTMS User Group. Euroradio FFFIS. UIC, Brussels, 2000.
5. EIRENE Project Team. EIRENE System Requirements Specification. UIC, Brssel, 1999.
6. R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
7. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The State-Mate Approach. Wiley, New York, 1998.
8. H. Hermanns, D. N. Jansen, and Y. Usenko. From stocharts to modest: a comparative reliability analysis of train radio communications. In WOSP '05: Proceedings of the 5th international workshop on Software and performance, pages 13-23, New York, NY, USA, 2005. ACM Press.
9. R. Hopkins, M. Smith, and P. King. Two approaches to integrating UML and performance models. In Proc. of the 3rd Int. Workshop on Software and Performance (WOSP), pages 91-92, July 2002.
10. C. Kelling and G. Hommel. A framework for rare event simulation of stochastic Petri nets using RESTART. In Proc. of the Winter Simulation Conference, pages 317-324, 1996.
11. D. Kendelbacher and F. Stein. EURORADIO - communication base system for ETCS. Signal und Draht, 94(6):6-11, 2002.
12. P. King and R. Pooley. Using UML to derive stochastic Petri net models. In Proceedings of the 15th UK Performance Engineering Workshop, pages 45-56, Bristol, UK, July 1999.
13. C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. Waldhorst. Performance Analysis of Time-enhanced UML Diagrams Based on Stochastic Processes. In Proc. of the 3rd Workshop on Software and Performance (WOSP), pages 25-34, Rome, Italy, 2002.
14. J. Merseguer. On the use of UML State Machines for Software Performance Evaluation. In Proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2004.
15. T. Murata. Petri Nets: Properties, Analysis and Applications. In Proceedings of the IEEE, volume 77(4), pages 541-580, April 1989.
16. Object Management Group. UML profile for schedulability, performance, and time, www.uml.org, March 2002.
17. Object Management Group. Unified Modeling Language Specification v.2.0. www.uml.org, September 2003.
18. R. Pooley and P. King. The Unified Modeling Language and Performance Engineering. In IEE Proceedings - Software, volume 146(2), March 1999.
19. W. Reisig. Petri nets. Springer Verlag Berlin, 1985.
20. J. Trowitzsch and A. Zimmermann. Real-Time UML State Machines: An Analysis Approach. In Object Oriented Software Design for Real Time and Embedded Computer Systems, Erfurt, Germany, September 2005. NetObjectDays.
21. J. Trowitzsch, A. Zimmermann, and G. Hommel. Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. In 13th Int. Workshop on Parallel and Distributed Real- Time Systems (WPDRTS), Denver, Colorado, April 2005.
22. M. Villn-Altamirano, J. Villn-Altamirano, J. Gamo, and F. Fernndez-Cuesta. Enhancement of accelerated simulation method restart by considering multiple thresholds. In Proc. 14th Int. Teletraffic Congress, pages 797-810. Elsevier, 1994.
23. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modeling and performability evaluation with TimeNET 3.0. In Proc. of the 11th Int. Conf. on Tools and Techniques for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000.
24. A. Zimmermann and G. Hommel. A train control system case study in model-based real-time system design. In Proc. of the 11th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Nizza, 2003.
25. A. Zimmermann and G. Hommel. Towards Modelling and Evaluation of ETCS Real-Time Communication and Operation. Journal of Systems and Software, 77(1):47-54, July 2005.
26. A. Zimmermann, M. Knoke, A. Huck, and G. Hommel. Towards version 4.0 of timenet. In 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems, MMB 2006, Nuernberg, March 2006.