• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on reliability, safety, and security of railway systems >A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
【24h】

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS

机译：评估ERTMS / ETCS中智能和故障安全通信的5G网络的框架

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

ETCS is an European system for high speed trains control and protection within ERTMS, the European standard for rail traffic management system. ERTMS/ETCS implementations use GSM-R for communications. As GSM-R is becoming obsolete, the adoption of more advanced technologies is investigated for next generation trains. New communication systems for railway infrastructures are expected to overcome the limitations of GSM-R, providing enhanced performance and reliability, as well as safety and security functionality to meet the requirements of the future signalling systems, control and users' applications. While 4G technologies (LTE and LTE-A) are currently tested in a few field trials, railway operators should consider that fifth generation (5G) mobile communications technologies will soon be available. One of the foundational aspects of the 5G architecture is control-plane programma-bility, achieved through the SDN paradigm. Being aware that in a railway scenario this opportunity can be exploited to dynamically reconfigure the network behavior to better match the communication flows produced by moving trains, we aim at defining a framework, integrating formal modeling and analysis tools and techniques into a network emulator, to evaluate the impact on ERTMS/ETCS safety and security deriving from the adoption of an SDN model in the communication infrastructure. In this paper we describe a first step towards this objective, by presenting a first proof-of-concept implementation of the framework and its use to reproduce a simple railway infrastructure. In our current implementation, Finite State Machines are used to model communication protocols between ERTMS/ETCS entities and to automatically produce code and Promela models. Generated code is directly used to control the network behavior while the Promela model allows to generate and verify a network configuration by model checking.
机译：ETCS是欧洲铁路交通管理系统标准ERTMS中用于高速列车控制和保护的欧洲系统。 ERTMS / ETCS实现使用GSM-R进行通信。随着GSM-R变得过时，下一代火车正在研究采用更先进的技术。铁路基础设施的新通信系统有望克服GSM-R的局限性，从而提供增强的性能和可靠性以及安全性和安全性功能，以满足未来信号系统，控制和用户应用的需求。尽管目前已在一些现场试验中测试了4G技术（LTE和LTE-A），但铁路运营商应考虑很快将推出第五代（5G）移动通信技术。 5G架构的基本方面之一是通过SDN范例实现的控制平面可编程性。意识到在铁路情况下，可以利用此机会来动态地重新配置网络行为，以更好地匹配列车运行产生的通信流，我们旨在定义一个框架，将正式的建模和分析工具与技术集成到网络仿真器中，以实现以下目的：评估在通信基础架构中采用SDN模型对ERTMS / ETCS安全性的影响。在本文中，我们通过介绍框架的第一个概念验证实施及其用于复制简单铁路基础设施的方法，描述了朝着这一目标迈出的第一步。在我们当前的实现中，有限状态机用于对ERTMS / ETCS实体之间的通信协议进行建模，并自动生成代码和Promela模型。生成的代码直接用于控制网络行为，而Promela模型允许通过模型检查来生成和验证网络配置。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号