Title :
A freshness detection mechanism for railway applications
Author :
Bondavalli, Andrea ; De Giudici, Enrico ; Porcarelli, Stefano ; Sabina, Salvatore ; Zanini, Fabrizio
Author_Institution :
Dipt. Sistemi e Informatica, Florence Univ., Italy
Abstract :
Railway control systems are based on on-board and trackside subsystems for signaling purposes. Several factors demand for new design and implementation solutions for such railway control systems. These factors are related to the design of interoperable railway networks in Europe, the introduction of new technologies and equipment, and the competition in the market of railway products. The safety of such new design and implementation solutions should still be proved in accordance with the CENELEC recommendations. SFDA, safe message freshness detection algorithm among trackside subsystems, is deeply described. SFDA is included in a new message passing safety protocol stack and it allows the detection of "old" messages and the meeting of real time and safety requirements of trackside railway systems. It is demonstrated that the SFDA can detect all the old messages. Moreover a preliminary analysis of its availability characteristics to check whether it is suitable for railways systems is performed through simulation.
Keywords :
computerised control; message passing; open systems; railway engineering; railway safety; real-time systems; signalling; CENELEC recommendations; interoperable railway networks; message passing safety protocol; railway applications; railway control systems; railway products; safe message freshness detection algorithm; signaling purpose; trackside subsystems; Control systems; Detection algorithms; Europe; Message passing; Performance analysis; Protocols; Rail transportation; Railway safety; Real time systems; Standards;
Conference_Titel :
Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
Print_ISBN :
0-7695-2076-6
DOI :
10.1109/PRDC.2004.1276579