Skip to main content
SpringerLink
Log in

Modelling of High-Speed European Railway Systems

  • Chapter
  • First Online:
Operating Rules and Interoperability in Trans-National High-Speed Rail

Abstract

High-speed train brought a new set of security constrains to deal with, and moreover the incoming necessity to have European conformance allowing foreign European train will bring a whole new set of challenges to solve. One of the most promising solutions is to use Model-Based Systems Engineering (MBSE) and Model-Based Safety Analysis (MBSA). This chapter presents the recent advance in this domain and focuses on both the train and track and ERTMS/ETCS-related modelling. It starts with a section briefly describing the UML and SysML norms. Second section focuses on the research on train-related modelling and seeks how this effort can be used to model high-speed ERTMS/ETCS systems. Third part presents the recent research and project about using UML/SysML to model ERTMS/ETCS systems and classic train systems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 199.99
Price excludes VAT (USA)
  • Durable hardcover 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.

    International Union of Railways, https://uic.org/.

  2. 2.

    https://www.eulynx.eu/.

  3. 3.

    Industry Foundation Class, Rail Part: https://www.buildingsmart.org/ifc-rail-candidate-standard-is-available-for-review-and-comment/.

  4. 4.

    https://ontorail.org/.

References

  • Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York, NY: Cambridge University Press. ISBN 0-521-49619-5.

    Book  Google Scholar 

  • Banci, M., Fantechi, A., & Gnesi, S. (2004). The role of formal methods in developing a distributed railway interlocking system. In Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), Braunschweig, Germany (pp. 220–230). Technical University of Braunschweig, Institute for Traffic Safety and Automation Engineering.

    Google Scholar 

  • Berkenkötter, K., & Hannemann, U. (2006, September). Modeling the railway control domain rigorously with a UML 2.0 profile. In J. Górski (Ed.), International Conference on Computer Safety, Reliability, and Security. Lecture Notes in Computer Science (pp. 398–411). Berlin: Springer. ISBN 978-3-540-45762-6 978-3-540-45763-3

    Google Scholar 

  • Bosschaart, M., Quaglietta, E., Janssen, B., & Goverde, R. M. (2015). Efficient formalization of railway interlocking data in RailML. Information Systems, 49, 126–141. ISSN 0306-4379.

    Article  Google Scholar 

  • Brownsword, M. (2014, January). How MBSE is used in rail. In INCOSE IW 2014 MBSE Workshop, Los Angeles, CAL, USA.

    Google Scholar 

  • Crane, M. L., & Dingel, J. (2007, December). UML vs. classical vs. rhapsody statecharts: Not all models are created equal. Software & Systems Modeling, 6(4), 415–435. ISSN 1619-1374, https://doi.org/10.1007/s10270-006-0042-8

    Article  Google Scholar 

  • European Union Agency for Railways. (2016, February). ERTMS/ETCS SUBSET-026, System Requirements Specification v2.3.0.

    Google Scholar 

  • Hon, Y. M., & Kollmann, M. (2006, September). Simulation and verification of UML-based railway interlocking designs. In Automatic Verification of Critical Systems (pp. 168–172).

    Google Scholar 

  • Liu, C., Tang, T., & Lisagor, O. (2011, July). Challenge to introduce MBSA approaches into CBTC safety analysis. In Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics (pp. 501–506). https://doi.org/10.1109/SOLI.2011.5986612

  • Marcano, R., Colin, S., & Mariano, G. (2004, October). A formal framework for UML modelling with timed constraints: Application to railway control systems. In SVERTS: Specification and Validation of UML models for Real time and embedded systems (p. 20).

    Google Scholar 

  • Mecitoǧlu, F., & Söylemez, M. T. (2013). A UML modelling approach for a railway signalization system simulator and SCADA system. IFAC Proceedings Volumes, 46(25), 77–82. ISSN 1474-6670, https://doi.org/10.3182/20130916-2-TR-4042.00030. 1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications.

  • Object Management Group. (2015a, June). OMG Norm, Systems Modeling Language (SysML) v1.4.

    Google Scholar 

  • Object Management Group. (2015b). OMG Norm, Unified Modeling Language (UML) v2.5.

    Google Scholar 

  • Sun, P. (2015, July). Model based system engineering for safety of railway critical systems. Ecole Centrale de Lille.

    Google Scholar 

  • UIC International Railway Standard. (2016). RailTOPOMODEL, RTM IRS 30100.

    Google Scholar 

  • Xiangxian, C., Yulin, H., & Hai, H. (2011). A component-based topology model for railway interlocking systems. Mathematics and Computers in Simulation, 81(9), 1892–1900.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Recherche Technologique Railenium, Famars, France

    Matthieu Perin

Authors
  1. Matthieu Perin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthieu Perin .

Editor information

Editors and Affiliations

  1. COSYS/ESTAS, Université Gustave Eiffel, Villeneuve d’Ascq, France

    Simon Collart-Dutilleul

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Perin, M. (2022). Modelling of High-Speed European Railway Systems. In: Collart-Dutilleul, S. (eds) Operating Rules and Interoperability in Trans-National High-Speed Rail. Springer, Cham. https://doi.org/10.1007/978-3-030-72003-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-72003-2_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-72001-8

  • Online ISBN: 978-3-030-72003-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation