Are Smart Contracts and Blockchains Suitable for Decentralized Railway Control?

Authors

DOI:

https://doi.org/10.5195/ledger.2020.158

Keywords:

Blockchains, DLTs, Decentralization, Railway Control, M2M, Maintenance

Abstract

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 case study 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 technology as a life-cycle approach for condition-based monitoring and predictive maintenance in train operations are outlined.

References

Adams, T., Fong, A., luodanwg, tanyuan. “NEP 5 Token Standard.” The Neo Project (GitHub Repository) (accessed 14 March 2020) https://github.com/neo-project/proposals/blob/master/nep-5.mediawiki.

Afanasyev, I., Kolotov, A., Rezin, R., Danilov, K., Kashevnik, A., Jotsov, V. “Blockchain Solutions for Multi-Agent Robotic Systems: Related Work and Open Questions.” ArXiv (accessed 14 March 2020) https://arxiv.org/abs/1903.11041.

Blanco, J. et al. “Nethereum.” GitHub (accessed 14 March 2020) https://github.com/Nethereum/Nethereum.

Böcker, J., Lind, J., Zirkler, B. “Using a Multi-Agent Approach to Optimise the Train Coupling and Sharing System.” European Journal of Operational Research 131.2 242-252 (2001) https://doi.org/10.1016/S0377-2217(00)00124-7.

Buterin, V. et al. “Serpent.” GitHub (accessed 25 June 2020) https://github.com/ethereum/serpent.

Calvaresi, D., Dubovitskaya, A., Calbimonte, J. P., Taveter, K., Schumacher, M. “Multi-Agent Systems and Blockchain: Results from a Systematic Literature Review.” In Demazeau, Y., An, B., Bajo, J., Fernández-Caballero, A. (Eds.) Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection. PAAMS 2018. 110-126 (2018) https://doi.org/10.1007/978-3-319-94580-4_9.

Chen, C., Xiao, T., Qui, T., Lv, N., Pei, Q. “Smart-Contract-Based Economical Platooning in Blockchain-Enabled Urban Internet of Vehicles.” IEEE Transactions on Industrial Informatics 16.6 4122-4133 (2020) https://doi.org/10.1109/TII.2019.2954213.

Dziembowski, S., Faust, S., Hostáková, K. “General State Channel Networks.” In CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security 949 966 (2018) https://doi.org/10.1145/3243734.3243856.

Gross, J. “High-Tech Blockchain Paves the Way for Cars to Pay.” IBM Client Success Field Notes (accessed 14 March 2020) https://www.ibm.com/blogs/client-voices/blockchain-paves-way-for-cars-to-pay/

Hirai, Y. “Defining the Ethereum Virtual Machine for Interactive Theorem Provers.” In Brenner, M. et al. (Eds.) Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers 520-535 (2017) https://doi.org/10.1007/978-3-319-70278-0_33.

jacqueswww et al. “Vyper.” GitHub (accessed 25 June 2020) https://github.com/ethereum/vyper.

Kapitonov, A., Lonshakov, S., Krupenkin, A., Berman, I.“Blockchain-Based Protocol of Autonomous Business Activity for Multi-Agent Systems Consisting of UAVs.” In Proceedings of the 2017 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED-UAS) 84-89 (2017) https://doi.org/10.1109/RED-UAS.2017.8101648.

Kapsammer, E., Pröll, B., Retschitzegger, W., Schwinger, W., Weißenbek, M., Schönböck, J. “The Blockchain Muddle: A Bird's-Eye View on Blockchain Surveys.” In Indrawan-Santiago, M., Pardede, E., Salvadori, I. L., Steinbauer, M., Khalil, I., Anderst-Kotsis, G. (Eds.) Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services (iiWAS2018) 370-374 (2018) https://doi.org/10.1145/3282373.3282396.

Kiffer, L., Levin, D., Mislove, A. “Stick a Fork in It: Analyzing the Ethereum Network Partition.” In HotNets-XVI: Proceedings of the 16th ACM Workshop on Hot Topics in Networks 94-100 (2017) https://doi.org/10.1145/3152434.3152449.

Kuperberg, M., Sandner, P., Felder, M.“Blockchain-basierte Abrechnung der IoT-registrierten Stationshalte: ein Proof-of-Concept auf Basis von Ethereum.” Frankfurt School Blockchain Center (working paper) (2018) https://medium.com/@philippsandner/blockchain-basierte-abrechnung-der-iot-registrierten-stationshalte-ein-proof-of-concept-auf-basis-4534dfa9d47d.

Marcelli, M., Pellegrini, P. “Literature Review Toward Decentralized Railway Traffic Management.” Institut Français des Sciences et Technologies des Transports, l’Aménagement et des Réseaux (IFSTTAR) (2018) https://hal.archives-ouvertes.fr/hal-01759779/.

Naveh, B. et al. “JGraphT.” GitHub (accessed 25 June 2020) https://github.com/jgrapht/jgrapht.

No Author. “Archive360 Open Archive.” Archive360 (accessed 14 March 2020) https://www.archive360.com/products/archive2azure.

No Author. “Augmentation Systems.” National Coordination Office for Space-Based Positioning, Navigation, and Timing (accessed 14 March 2020) https://www.gps.gov/systems/augmentations/.

No Author. “Car-2-Car Communication Consortium.” Car-2-Car (accessed 14 March 2020) https://www.car-2-car.org/.

No Author. “Communications Based Train Control (CBTC).” Siemens (accessed 14 March 2020) https://www.mobility.siemens.com/global/en/portfolio/rail/automation/automatic-train-control/communications-based-train-control-system.html.

No Author. “Contracts.” OpenZeppelin (accessed 14 March 2020) https://openzeppelin.org.

No Author. “DB Systel and IBM Reinvent Mobility by Using IBM Blockchain Technology.” IBM (accessed 14 March 2020) https://www.ibm.com/case-studies/db-systel-and-ibm.

No Author. “European Rail Traffic Management System.” European Union Agency for Railways (accessed 14 March 2020) https://www.era.europa.eu/activities/european-rail traffic-management-system-ertms_en.

No Author. “FileLock: The Simple Solution for Audit-Proof Archiving According to GoBD.” GRAU Data (accessed 14 March 2020) https://www.graudata.com/filelock.

No Author. “Forschung und Entwicklung im EBD.” EBD (accessed 14 March 2020) http://www.eisenbahnbetriebsfeld.de/projekte/forschung/.

No Author. “Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems – Part 1: General Requirements.” VDE Verlag EN 61508-1 (2011) https://www.vde-verlag.de/normen/0803012/din-en-61508-1-vde-0803-1-2011-02.html.

No Author. “Hyperledger Burrow.” Hyperledger (accessed 14 March 2020) https://www.hyperledger.org/projects/hyperledger-burrow.

No Author. “IEC 62278:2002: Railway Applications - Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS).” International Electrotechnical Commission (2002) https://webstore.iec.ch/publication/6747.

No Author. “IEC TR 62267-2:2011: Railway Applications - Automated Urban Guided Transport (AUGT) - Safety Requirements - Part 2: Hazard Analysis at Top System Level.” International Electrotechnical Commission (2011) https://webstore.iec.ch/publication/6680.

No Author. “IEC TR 62278-3:2010: Railway Applications - Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 3: Guide to the Application of IEC 62278 for Rolling Stock RAM.” International Electrotechnical Commission (2010) https://webstore.iec.ch/publication/6746.

No Author. “IEC TR 62278-4:2016: Railway Applications - Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 4: RAM Risk and RAM Life Cycle Aspects.” International Electrotechnical Commission (2016) https://webstore.iec.ch/publication/29621.

No Author. “Master Data Management.” IBM (accessed 14 March 2020) https://www.ibm.com/analytics/master-data-management.

No Author. “Mobility Open Blockchain Initiative.” MOBI (accessed 14 March 2020) https://dlt.mobi.

No Author. “One Project from a Single Source—Turnkey Rail Solutions from Siemens Mobility.” Siemens (accessed 14 March 2020) https://www.siemens.com/global/en/home/products/mobility/rail-solutions/turnkey-rail-solutions.html.

No Author. “Oracle Database Online Documentation 11 g Release 1 (11.1)” Oracle (accessed 14 March 2020) https://docs.oracle.com/cd/B28359_01/nav/portal_14.htm.

No Author. “Parity Ethereum Client.” Parity (accessed 14 March 2020) https://www.parity.io.

No Author. “Press Kit: Metro Automation Facts, Figures and Trends.” Union Internationale des Transports Publics (2013) https://www.uitp.org/sites/default/files/Metro%20automation%20-%20facts%20and%20figures.pdf.

No Author. “Quorum.” J. P. Morgan (accessed 25 June 2020) https://www.jpmorgan.com/country/UK/EN/Quorum.

No Author. “Railway Applications - Communication, Signalling and Processing Systems – Software for Railway Control and Protection Systems.” VDE Verlag EN 50128/A1 (2019) https://www.vde-verlag.de/normen/1800505/e-din-en-50128-a1-vde-0831-128-a1-2019-09.html.

No Author. “Railway Applications - Communication, Signalling and Processing Systems – Software for Railway Control and Protection Systems; Supplement 1: Additional Information for the Application of DIN EN 50128 (VDE 0831-128).” VDE Verlag EN 50128 VDE 0831-128 Beiblatt 1 (2016) https://www.vde-verlag.de/normen/0800324/din-en-50128-vde-0831-128-beiblatt-1-2016-07.html.

No Author. “Railway Applications - Communication, Signalling and Processing Systems – Safety Related Electronic Systems for Signalling.” VDE Verlag EN 50129 (2019) https://www.vde-verlag.de/normen/0800576/din-en-50129-vde-0831-129-2019-06.html.

No Author. “Railway Applications – Communication, Signalling and Processing Systems Software for Railway Control and Protection Systems.” VDE Verlag EN 50128 (2012) https://www.vde-verlag.de/normen/0831033/din-en-50128-vde-0831-128-2012-03.html.

No Author. “Railway Applications – Communication, Signalling and Processing Systems – Safety-Related Communication in Transmission Systems.” VDE Verlag EN 50159 (2011) https://www.vde-verlag.de/normen/0831028/din-en-50159-vde-0831-159-2011-04.html.

No Author. “Railway Applications – The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) Part 1: Generic RAMS Process.” VDE Verlag EN 50126-1 (2018) https://www.vde-verlag.de/normen/0100488/din-en-50126-1-vde-0115-103-1-2018-10.html.

No Author. “Railway Applications – The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) Part 2: Systems Approach to Safety.” VDE-Verlag EN 50126-2 (2018) https://www.vde-verlag.de/normen/0100487/din-en-50126-2-vde-0115-103-2-2018-10.html.

No Author. “Say Hello to the First Automotive Blockchain.” Car eWallet (accessed 14 March 2020) https://car-ewallet.zf.com/site/carewallet/en/car_ewallet.html.

No Author. “Security from the Outset.” SER Group (accessed 14 March 2020) https://www.ser-solutions.com/products-solutions/archiving/document-archiving.html

No Author. “Sending the Right Signals.” Thales (2017) https://www.thalesgroup.com/en/united-kingdom/news/sending-right-signals.

No Author. “Sharding-FAQs.” Ethereum Wiki (accessed 25 June 2020) https://github.com/ethereum/wiki/wiki/sharding-faq.

No Author. “Stellwerk in der Cloud.” Deutchse Bahn AG (press release) (2018) https://www.deutschebahn.com/de/konzern/im_blickpunkt/Stellwerk-in-der-Cloud1717666.

No Author. “The ERTMS in 10 Questions.” European Commission (2005) http://europa.eu/rapid/press-release_MEMO-05-235_en.htm.

No Author. “Where Java Meets the Blockchain: Connect JVM Applications to Ethereum Blockchains with web3j—A Lightweight, Reactive, Type Safe Library for Java, Android, Kotlin and Scala.” Web3 Labs (accessed 14 March 2020) https://web3j.io.

No Author. “WORM Storage.” NetApp ONTAP 9 Documentation Center (accessed 14 March 2020) https://docs.netapp.com/ontap-9/index.jsp?topic=%2Fcom.netapp.doc.dot-cm-concepts%2FGUID-AE1A76A0-8B20-4A63-B391-66B3EEC896DE.html.

Park, D., Zhang, Y., Saxena, M., Daian, P., Rosu, G. “A Formal Verification Tool for Ethereum VM Bytecode.” In ESEC/FSE 2018: the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 912-915 (2018) https://doi.org/10.1145/3236024.3264591.

Rosenberger, M. “Future Challenges to Axle Counting Systems.” ASPECT 2012 conference of the Institute of Railway Signal Engineers (IRSE) (accessed 14 March 2020).

Sardan, T. “What Is a Light Client and Why Should You Care?” Parity (2018) https://www.parity.io/what-is-a-light-client/.

Singh, A., Click, K., Parizi, R. M., Zhang, Q., Dehghantanha, A., Choo, K.-K. R. “Sidechain Technologies in Blockchain Networks: An Examination and State-of-the-Art Review.” Journal of Network and Computer Applications 149.1 102471 (2020) https://doi.org/10.1016/j.jnca.2019.102471.

Törnquist, J., Davidsson, P. “A Multi-Agent System Approach to Train Delay Handling.” In Timm, I. J., Schleiffer, R., Davidsson, P., Kirn, S. (Eds.) Agent Technologies in Logistics, Proceedings of the ECAI-02 Workshop, July 23, 2002 50-53 (2002).

Torres, C. F., Schütte, J., State, R. “Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts.” In ACSAC '18: Proceedings of the 34th Annual Computer Security Applications Conference 664-676 (2018) https://doi.org/10.1145/3274694.3274737.

Valenta, M., Sandner, P. “Comparison of Ethereum, Hyperledger Fabric and Corda.” Frankfurt School Blockchain Center (working paper) (2017) https://medium.com/@philippsandner/comparison-of-ethereum-hyperledger-fabric-and-corda-21c1bb9442f6.

Yang, Z., Lei, H. “Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.” IEEE Access 6 70331-70348 (2018) https://doi.org/10.1109/ACCESS.2018.2880692.

Yang, Z., Lei, H., Qian, W. Z. “A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.” ArXiv (2019) https://arxiv.org/abs/1902.08726.

Downloads

Additional Files

Published

2020-08-13

How to Cite

Kuperberg, M., Kindler, D., & Jeschke, S. (2020). Are Smart Contracts and Blockchains Suitable for Decentralized Railway Control?. Ledger, 5. https://doi.org/10.5195/ledger.2020.158

Issue

Section

Research Articles