loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th Pacific Rim International Symposium on Dependable Computing (PRDC'04)
A Freshness Detection Mechanism for Railway Applications
Papeete, Tahiti, French Polynesia
March 03-March 05
ISBN: 0-7695-2076-6
Andrea Bondavalli, University of Florence
Enrico De Giudici, University of Florence
Stefano Porcarelli, Italian National Research Council
Salvatore Sabina, Ansaldo Segnalamento Ferroviario
Fabrizio Zanini, Ansaldo Segnalamento Ferroviario
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. In this paper 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.
Index Terms:
railway control systems, safety, real-time
Citation:
Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini, "A Freshness Detection Mechanism for Railway Applications," prdc, pp.292-301, 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.