Towards modeling and evaluation of ETCS real-time communication and operation
作者： Armin Zimmermann , Günter Hommel
DOI: 10.1016/J.JSS.2003.12.039
关键词:
摘要: The future European Train Control System (ETCS) will be based on mobile communication and overcome fixed blocks. It is introduced in order to increase track utilization interoperability throughout Europe while reducing trackside equipment cost. Data processing board the train radio block centers as well link are crucial factors for safe efficient operation. Their real-time behavior under inevitable failures needs modeled evaluated. paper presents a stochastic Petri net model of failure recover behavior. A second exchange location movement authority data packets between trains presented analyzed. Performance evaluation shows significant impact packet delays losses reliable operation high-speed trains.
elsevier.com
sci-hub.se 参考文章(15)
P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson, Secure Synthesis of Code: A Process Improvement Experiment formal methods. pp. 1816- 1835 ,(1999) , 10.1007/3-540-48118-4_46
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini, A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems Real-time Systems. ,vol. 13, pp. 219- 236 ,(1997) , 10.1023/A:1007907309442
Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel, Petri Net Modelling and Performability Evaluation with TimeNET 3.0 Lecture Notes in Computer Science. pp. 188- 202 ,(2000) , 10.1007/3-540-46429-8_14
Michael Meyer zu Hörste, Eckehard Schnieder, Formal Modelling and Simulation of Train Control Systems Using Petri Nets formal methods. pp. 1867- 1867 ,(1999) , 10.1007/3-540-48118-4_58
M. Ajmone Marsan, G. Chiola, On Petri nets with deterministic and exponentially distributed firing times applications and theory of petri nets. pp. 132- 145 ,(1986) , 10.1007/3-540-18086-9_23
A. Chiappini, A. Cimatti, C. Porzia, G. Rotondo, R. Sebastiani, P. Traverso, A. Villafiorita, Formal Specification and Development of a Safety-Critical Train Management System international conference on computer safety reliability and security. pp. 410- 419 ,(1999) , 10.1007/3-540-48249-0_35
Reinhard German, Performance Analysis of Communication Systems : Modeling with Non-Markovian Stochastic Petri Nets ,(2000)
M. Villén-Altamirano, A. Martínez-Marrón, J. Gamo, F. Fernández-Cuesta, Enhancement of the Accelerated Simulation Method RESTART by Considering Multiple Thresholds Teletraffic Science and Engineering. ,vol. 1, pp. 797- 810 ,(1994) , 10.1016/B978-0-444-82031-0.50084-6
Werner Damm, Jochen Klose, Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment formal methods. ,vol. 19, pp. 121- 141 ,(2001) , 10.1023/A:1011279932612
A. Zimmermann, G. Hommel, A train control system case study in model-based real time system design international parallel and distributed processing symposium. pp. 118- ,(2003) , 10.1109/IPDPS.2003.1213234