Title :
A train control system case study in model-based real time system design
Author :
Zimmermann, Armin ; Hommel, Günter
Author_Institution :
Real-Time Syst. & Robotics Group, Technische Univ. Berlin, Germany
Abstract :
The future European Train Control System (ETCS) will be based on mobile communication and overcome fixed blocks in order to increase track utilization and interoperability throughout Europe. Data processing on board the train and in radio block centers as well as the radio communication link are crucial factors for the safe and efficient operation. Their real-time behavior under inevitable link failures needs to be modeled and evaluated. The paper presents a first simplified model of communication failure and recover behavior as well as safety-critical data exchange. Performance evaluation of the stochastic Petri net model shows that the official quality of service specifications may lead to a bad utilization.
Keywords :
Petri nets; performance evaluation; quality of service; rail traffic; railways; safety-critical software; stochastic processes; traffic control; traffic engineering computing; European train control system; model-based real time system design; performance evaluation; quality of service specifications; real-time behavior; safety-critical data exchange; stochastic Petri net model; Communication system control; Control system synthesis; Control systems; Data processing; Europe; Mobile communication; Quality of service; Radio communication; Real time systems; Stochastic processes;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2003. Proceedings. International
Print_ISBN :
0-7695-1926-1
DOI :
10.1109/IPDPS.2003.1213234
