Are Smart Contracts and Blockchains Suitable for Decentralized Railway Control?

Conventional railway operations employ specialized software and hardware to ensure safe and secure train operations. Track occupation and signaling are governed by central control offices, while trains (and their drivers) receive instructions. To make this setup more dynamic, the train operations can be decentralized by enabling the trains to find routes and make decisions which are safeguarded and protocolled in an auditable manner. In this paper, we present the findings of a first-of-its-kind blockchain-based prototype implementation for railway control, based on decentralization but also ensuring that the overall system state remains conflict-free and safe. We also show how a blockchain-based approach simplifies usage billing and enables a train-to-train/machine-to-machine economy. Finally, first ideas addressing the use of blockchain as a life-cycle approach for condition based monitoring and predictive maintenance in train operations are outlined.

[1]  Radu State,et al.  Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts , 2018, ACSAC.

[2]  Yoichi Hirai,et al.  Defining the Ethereum Virtual Machine for Interactive Theorem Provers , 2017, Financial Cryptography Workshops.

[3]  Ertms.  European rail traffic management system , 1996 .

[4]  Hang Lei,et al.  Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems , 2018, IEEE Access.

[5]  Stefan Dziembowski,et al.  General State Channel Networks , 2018, CCS.

[6]  Werner Retschitzegger,et al.  The Blockchain Muddle: A Bird's-Eye View on Blockchain Surveys , 2018, iiWAS.

[7]  Frauscher Sensortechnik,et al.  FUTURE CHALLENGES TO AXLE COUNTING SYSTEMS , 2012 .

[8]  Alexey Kashevnik,et al.  Blockchain Solutions for Multi-Agent Robotic Systems: Related Work and Open Questions , 2019, ArXiv.

[9]  Daniel Linstedt,et al.  Master Data Management , 2015 .

[10]  Lars Schnieder.  Communications-Based Train Control (CBTC) , 2019 .

[11]  Aleksandr Kapitonov,et al.  Blockchain-based protocol of autonomous business activity for multi-agent systems consisting of UAVs , 2017, 2017 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED-UAS).

[12]  Hang Lei,et al.  A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts , 2019, IEEE Access.

[13]  R. Watson,et al.  Data Management , 1980, Bone Marrow Transplantation.

[14]  Jürgen Lind,et al.  Using a multi-agent approach to optimise the train coupling and sharing system , 2001, Eur. J. Oper. Res..

[15]  Alan Mislove,et al.  Stick a fork in it: Analyzing the Ethereum network partition , 2017, HotNets.

[16]  Yi Zhang,et al.  A formal verification tool for Ethereum VM bytecode , 2018, ESEC/SIGSOFT FSE.

[17]  Qi Zhang,et al.  Sidechain technologies in blockchain networks: An examination and state-of-the-art review , 2020, J. Netw. Comput. Appl..

[18]  Elisa Marcelli,et al.  Literature Review Toward Decentralized Railway Traffic Management , 2021, IEEE Intelligent Transportation Systems Magazine.

[19]  Paul Davidsson,et al.  A Multi-Agent System Approach to Train Delay Handling , 2002 .

[20]  Chen Chen,et al.  Smart-Contract-Based Economical Platooning in Blockchain-Enabled Urban Internet of Vehicles , 2020, IEEE Transactions on Industrial Informatics.

[21]  Philipp G. Sandner,et al.  Comparison of Ethereum, Hyperledger Fabric and Corda , 2017 .