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

fYear

2003

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing Symposium, 2003. Proceedings. International

ISSN

1530-2075

Print_ISBN

0-7695-1926-1

Type

conf

DOI

10.1109/IPDPS.2003.1213234

Filename

1213234