A train control system case study in model-based real time system design

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages 8-15

  Zimmermann, Armin ^a   Hommel, Günter ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DATA INTERCHANGE; INTERACTIVE COMPUTER SYSTEMS; INTEROPERABILITY; PETRI NETS; QUALITY OF SERVICE; RADIO COMMUNICATION; REAL TIME SYSTEMS; SAFETY ENGINEERING; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

COMMUNICATION FAILURE; EUROPEAN TRAIN CONTROL SYSTEMS; MOBILE COMMUNICATIONS; QUALITY OF SERVICE SPECIFICATION; RADIO BLOCK CENTERS; REAL TIME BEHAVIOR; SAFETY CRITICAL DATA; STOCHASTIC PETRI NETS;

QUALITY CONTROL;

EID: 84947214151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213234     Document Type: Conference Paper

References (27)

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. M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In G. Rozenberg, editor, Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science, pages 132-145. Springer Verlag, 1987.
3. G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time Petri nets. IEEE Transactions on Software Engineering, 21(12):969-992, 1995.
4. A. Chiappini, A. Cimatti, C. Porzia, G. Rotondo, R. Sebastiani, P. Traverso, and A. Villafiorita. Formal specification and development of a safety-critical train management system. In SAFECOMP, pages 410-419, 1999.
5. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20:506-515, 1994.
6. G. Ciardo and C. Lindemann. Analysis of deterministic and stochastic Petri nets. Performance Evaluation, 18(8), 1993.
7. A. Coraiola and M. Antscher. GSM-R network for the highspeed line Rome-Naples. Signal und Draht, 92(5):42-45, 2000.
8. W. Damm and J. Klose. Verification of a radio-based signaling system using the STATEMATE verification environment. Formal Methods in System Design, 19(2):121-141, 2001.
9. EEIG ERTMS User Group. ERTMS/ETCS RAMS Requirements Specification. UIC, Brussels, 1998.
10. EEIG ERTMS User Group. ERTMS/ETCS System Requirements Specification. UIC, Brussels, 1999.
11. EEIG ERTMS User Group. Euroradio FFFIS. UIC, Brussels, 2000.
12. EEIG ERTMS User Group. Performance Requirements for Interoperability. UIC, Brussels, 2000.
13. EIRENE Project Team. EIRENE System Requirements Specification. UIC, Brussels, 1999.
14. R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
15. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze. A unified high-level Petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, 17(2):160-172, Feb. 1991.
16. M. Göller and L. Lengemann. Measurement and evaluation of the quality of service parameters of the communication system for ERTMS. Signal und Draht, 94(12):19-26, 2002.
17. L. Jansen, M. Meyer zu Hörste, and H. Schnieder. Technical issues in modelling the european train control system. In Proc. 1st CPN Workshop, DAIMI PB 532, pages 103-115, Aarhus University, 1998.
18. D. Kendelbacher and F. Stein. Euroradio-communication base system for ETCS. Signal und Draht, 94(6):6-11, 2002.
19. A. Mazzeo, N. Mazzocca, S. Russo, and V. Vittorini. A systematic approach to the Petri net based specification of concurrent systems. Real-Time Systems, 13:219-236, 1997.
20. M. Meyer zu Hörste and E. Schnieder. Modelling and simulation of train control systems using Petri nets. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99 Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. Volume 1709 of Lecture Notes in Computer Science, page 1867, Springer Verlag Berlin, 1999.
21. MORANE Project Group. Radio Transmission FFFIS for Euroradio. Brussels, 1998.
22. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
23. J. Osburg. Performance investigation of arbitrary train control techniques. Signal und Draht, 94(12):27-30, 2002.
24. R. Schrenk. GSM-R: Quality of service tests at customer trial sites. Signal und Draht, 92(9):61-64, 2000.
25. M. Villen-Altamirano and J. Villen-Altamirano. Enhancement of the accelerated simulation method RESTART by considering multiple thresholds. In ITC-14, J. Labetoulle and J. W. Roberts (Eds. ), pages 797-810, North-Holland, 1994. Elsevier Science Publishers B. V.
26. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3. 0. In 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000. LNCS 1786.
27. A. Zimmermann, J. Freiheit, and G. Hommel. Discrete time stochastic Petri nets for modeling and evaluation of real-time systems. In Proc. Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS01, pages 282-286, San Francisco, 2001.