Abstract
Planning of railway tracks at Deutsche Bahn (DB) so far is done manually by planning experts with the help of CAD tools. This incurs substantial cost and planning time which is exacerbated by the complex planning rules laid down in ETCS regulations mandatory for new tracks. In a project performed for DB Netz AG we explore the possibility of automating a large part of the ETCS rail track planning process. We report on our experience in building a prototypic automated ETCS planning tool. It takes a standardized object-oriented track model as input and provides output in the same format with all required ETCS track elements placed at their correct position. The tool can be integrated into manual planning processes and allows manual fine-tuning. Our approach uses algorithmic sequencing of formalized planning rules based on the knowledge and best practices obtained from experienced track planners. The result of the planning tool can be visualized for the purpose of conformance checking with the ETCS planning rulebooks to simplify the certification process. A model-based, domain-specific test coverage criterion has been developed to validate correctness and completeness of the algorithmic rendering of the rules.
The work reported in this paper was supported by DB Netz AG in project FormETCS, part of the Innovationsallianz TU Darmstadt/Deutsche Bahn AG.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
If a track is planned without signals, the ETCS stop marker boards Ne 14 [4] are used as reference points instead.
- 3.
Still, it is clearly of great interest to validate a suitable formalization of the rulebooks (item (i) above), because it minimizes errors in the generated plans and increases trust on side of the planners who use it. This activity is currently pursued in the FormETCS project and will be reported in a follow-up paper. In Sect. 6.1 we report on an automated verification tool for manually created plans.
- 4.
- 5.
- 6.
References
Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P., Ulbrich, M. (eds.): Deductive Software Verification-The KeY Book: From Theory to Practice. LNCS, vol. 10001. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-319-49812-6
Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)
DB Netz AG: PlanPro-Glossar 1.8.0. http://confluence.plan-pro.org/display/G180/Index
Deutsche Bahn AG, Frankfurt: Richtlinie 301: Signalbuch
Deutsche Bahn AG, Frankfurt: Richtlinie 819: LST-Anlagen planen
ISO: Standard on Generation and registration of Universally Unique Identifiers (UUIDs) and their use as ASN.1 Object Identifier components (2005). ISO/IEC 9834–8:2005
Kamburjan, E., Hähnle, R., Schön, S.: Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166, 167–193 (2018)
Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1), 1–32 (2018)
Maschek, U., Klaus, C., Gerke, C., Uminski, V., Girke, K.J.: PlanPro: Durchgängige elektronische Datenhaltung im ESTW-Planungsprozess. Signal+Draht 104(9), 22–26 (2012)
Utting, M., Legeard, B.: Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann, Burlington (2007)
W3C: Document Object Model DOM 4, November 2015. https://www.w3.org/TR/dom/
Acknowledgments
We are very grateful to the planning team of DB Engineering & Consulting in Karlsruhe for being generous with their time and expertise. We thank the reviewers for their suggestions that helped to improve the final version of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Dillmann, S., Hähnle, R. (2019). Automated Planning of ETCS Tracks. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2019. Lecture Notes in Computer Science(), vol 11495. Springer, Cham. https://doi.org/10.1007/978-3-030-18744-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-18744-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18743-9
Online ISBN: 978-3-030-18744-6
eBook Packages: Computer ScienceComputer Science (R0)