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.

A Freshness Detection Mechanism for Railway Applications / A. BONDAVALLI; ENRICO DE GIUDICI; STEFANO PORCARELLI; SALVATORE SABINA; FABRIZIO ZANINI. - STAMPA. - (2004), pp. 292-301. (Intervento presentato al convegno 10th IEEE Pacific Rim International Symposium on Dependable) [10.1109/PRDC.2004.1276579].

A Freshness Detection Mechanism for Railway Applications.

BONDAVALLI, ANDREA;
2004

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.
2004
Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
10th IEEE Pacific Rim International Symposium on Dependable
A. BONDAVALLI; ENRICO DE GIUDICI; STEFANO PORCARELLI; SALVATORE SABINA; FABRIZIO ZANINI
File in questo prodotto:
File Dimensione Formato  
file-BDGPSZ04-PRDC04-19.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 193.03 kB
Formato Adobe PDF
193.03 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/236128
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact