Skip to main content

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.ivv-gmbh.de/de/prosigr.html.

  2. 2.

    If a track is planned without signals, the ETCS stop marker boards Ne 14 [4] are used as reference points instead.

  3. 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. 4.

    https://www.mn.uio.no/ifi/english/research/projects/railcons.

  5. 5.

    https://www.railml.org.

  6. 6.

    https://formbar.raillab.de/en/about-2.

References

  1. 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

    Book  Google Scholar 

  2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)

    Book  Google Scholar 

  3. DB Netz AG: PlanPro-Glossar 1.8.0. http://confluence.plan-pro.org/display/G180/Index

  4. Deutsche Bahn AG, Frankfurt: Richtlinie 301: Signalbuch

    Google Scholar 

  5. Deutsche Bahn AG, Frankfurt: Richtlinie 819: LST-Anlagen planen

    Google Scholar 

  6. 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

    Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1), 1–32 (2018)

    Article  Google Scholar 

  9. 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)

    Google Scholar 

  10. Utting, M., Legeard, B.: Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann, Burlington (2007)

    Google Scholar 

  11. W3C: Document Object Model DOM 4, November 2015. https://www.w3.org/TR/dom/

Download references

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

Authors

Corresponding author

Correspondence to Stefan Dillmann .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics