Connected or Autonomous Trains?

In a parallel with the trends in the automotive domain, we discuss the future challenges of automation of train control, where train to infrastructure and train to train communication will support distributed control algorithms, while on board artificial intelligence will provide autonomous control decisions. Already installed systems, like ERTMS-ETCS, are actually distributed systems that span over geographical areas and are able to safely control large physical systems. But still, crucial decisions are taken at centralized places, that concentrate communications with mobile objects. Several prospected advances, aimed at increasing capacity and automation of rail transport, go in the direction of a more dynamic network connection among mobile components, in which decisions are actually taken in a distributed way.

[1]  Maria Grazia Vigliotti,et al.  Risk Assessment of the 3Des in ERTMS , 2016, RSSRail.

[2]  William H. Sanders.  Quantitative Security Metrics: Unattainable Holy Grail or a Vital Breakthrough within Our Reach? , 2014, IEEE Security & Privacy.

[3]  Laura Carnevali,et al.  Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3 , 2015, EPEW.

[4]  Kim G. Larsen,et al.  Safe and Time-Optimal Control for Railway Games , 2019, RSSRail.

[5]  Roberto Nardone,et al.  Towards Railway Virtual Coupling , 2018, 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC).

[6]  Alessandro Neri,et al.  Synergies for Trains and Cars Automation in the Era of Virtual Networking , 2018 .

[7]  Davide Basile,et al.  Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System , 2019, RSSRail.

[8]  Jens Braband.  IT Security Framework for Safe Railway Automation , 2018 .

[9]  Günter Hommel,et al.  Towards modeling and evaluation of ETCS real-time communication and operation , 2005, Journal of Systems and Software.

[10]  Maurice H. ter Beek,et al.  On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders , 2018, IFM.

[11]  Tom Chothia,et al.  A Formal Security Analysis of ERTMS Train to Trackside Protocols , 2016, RSSRail.

[12]  Steven E Shladover,et al.  OVERVIEW OF PLATOONING SYSTEMS , 2012 .

[13]  Jan Peleska,et al.  Reliability Analysis of Safety-Related Communication Architectures , 2010, SAFECOMP.

[14]  Anne Elisabeth Haxthausen,et al.  Formal Development and Verification of a Distributed Railway Control System , 2000, IEEE Trans. Software Eng..

[15]  Philippe Massonet,et al.  Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study , 2018, MEDI Workshops.

[16]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[17]  Anne Elisabeth Haxthausen,et al.  Safety Interlocking as a Distributed Mutual Exclusion Problem , 2018, FMICS.

[18]  Sabina Jeschke,et al.  Are Smart Contracts and Blockchains Suitable for Decentralized Railway Control? , 2020, Ledger.

[19]  Alexander Romanovsky,et al.  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , 2016, Lecture Notes in Computer Science.

[20]  G. Bikker,et al.  Design and Development of a Future Freight Train Concept – “Virtually Coupled Train Formations” , 2000 .

[21]  Hugo Daniel Macedo,et al.  Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations , 2017, NFM.