A freshness detection mechanism for railway applications

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI:10.1109/PRDC.2004.1276579

A. Bondavalli, E. Giudici, S. Porcarelli, Salvatore Sabina, F. Zanini

{"title":"A freshness detection mechanism for railway applications","authors":"A. Bondavalli, E. Giudici, S. Porcarelli, Salvatore Sabina, F. Zanini","doi":"10.1109/PRDC.2004.1276579","DOIUrl":null,"url":null,"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.","PeriodicalId":383639,"journal":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PRDC.2004.1276579","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

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.

查看原文本刊更多论文

一种适用于铁路的新鲜度检测机制

铁路控制系统是基于车载和轨旁子系统的信号系统。有几个因素要求为这种铁路控制系统设计和实施新的解决方案。这些因素与欧洲可互操作铁路网络的设计、新技术和设备的引入以及铁路产品市场的竞争有关。这种新设计和实施方案的安全性仍应根据CENELEC的建议进行验证。详细介绍了轨旁子系统安全信息新鲜度检测算法SFDA。SFDA包含在一个新的消息传递安全协议栈中，它允许检测“旧”消息，并满足轨道旁铁路系统的实时性和安全性要求。实验表明，SFDA可以检测到所有的旧消息。并通过仿真对其可用性特性进行了初步分析，以检验其是否适用于铁路系统。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.

自引率

0.00%

发文量