000 02825nam a22003495i 4500
001 395207
003 ES-MaUEC
005 20230110120132.0
007 cr nn 008mamaa
008 210729s2022 sz | s |||| 0|eng d
020 _a9783030720032
024 7 _a10.1007/978-3-030-72003-2
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
050 4 _aHE3006
_b2022 EB
245 1 0 _aOperating Rules and Interoperability in Trans-National High-Speed Rail
_cedited by Simon Collart-Dutilleul.
250 _a1st edition 2022
264 1 _aCham
_bSpringer International Publishing
_c2022
300 _a1 recurso en línea (XIX, 240 páginas)
_b125 ilustraciones
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
505 0 _aChapter 1. Introduction -- Part I. Technological and Economical Context -- Chapter 2. The Performance of International Passenger Rail Transportation: a Statistical Assessment -- Chapter 3. Overview ERTMS/ETCS Baseline 3 and Beyond -- Chapter 4. Chinese Train Control Syestem -- Chapter 5. Modelling of High Speed European Railway Systems -- Part II. Proposal of a Model Engineering Approach for Border Crossing Assessment -- Chapter 6. Designing Operating Rules for ERTMS Transnational Lines -- Chapter 7. Formal Validation of Interlocking Under Signaling Rules -- Chapter 8. Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets -- Chapter 9. Conclusion.
520 _aThis book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment. Presents modern solutions for safety and interoperability validation; Discusses the efficiency of different tools used at different steps of the analysing process; Covers trackside infrastructure modelling, signalling and operating rule analysis.
776 0 8 _iPrinted edition:
_z9783030720018
776 0 8 _iPrinted edition:
_z9783030720025
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-72003-2
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
988 _aSpringer_Engineering_2022
999 _c395207
_d395207