001442089 000__ 03410cam\a2200517\i\4500
001442089 001__ 1442089
001442089 003__ OCoLC
001442089 005__ 20230310003311.0
001442089 006__ m\\\\\o\\d\\\\\\\\
001442089 007__ cr\un\nnnunnun
001442089 008__ 210801s2022\\\\sz\a\\\\ob\\\\001\0\eng\d
001442089 020__ $$a9783030720032$$q(electronic bk.)
001442089 020__ $$a3030720039$$q(electronic bk.)
001442089 020__ $$z9783030720018
001442089 020__ $$z3030720012
001442089 0247_ $$a10.1007/978-3-030-72003-2$$2doi
001442089 035__ $$aSP(OCoLC)1262436846
001442089 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dOCLCF$$dOCLCQ$$dOCLCO$$dOCLCQ
001442089 043__ $$ae------
001442089 049__ $$aISEA
001442089 050_4 $$aHE3006$$b.O44 2022
001442089 08204 $$a385.094$$223
001442089 24500 $$aOperating rules and interoperability in trans-national high-speed rail /$$cSimon Collart-Dutilleul, editor.
001442089 264_1 $$aCham :$$bSpringer,$$c[2022]
001442089 264_4 $$c©2022
001442089 300__ $$a1 online resource :$$billustrations
001442089 336__ $$atext$$btxt$$2rdacontent
001442089 337__ $$acomputer$$bc$$2rdamedia
001442089 338__ $$aonline resource$$bcr$$2rdacarrier
001442089 504__ $$aIncludes bibliographical references and index.
001442089 5050_ $$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.
001442089 506__ $$aAccess limited to authorized users.
001442089 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.
001442089 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 3, 2021).
001442089 650_0 $$aHigh speed trains$$zEurope.
001442089 650_0 $$aRailroads$$zEurope$$xManagement.
001442089 650_6 $$aTrains à grande vitesse$$zEurope.
001442089 655_0 $$aElectronic books.
001442089 7001_ $$aCollart-Dutilleul, Simon,$$eeditor.
001442089 77608 $$iPrint version:$$tOperating rules and interoperability in trans-national high-speed rail.$$dCham : Springer, [2022]$$z3030720012$$z9783030720018$$w(OCoLC)1237861862
001442089 852__ $$bebk
001442089 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-72003-2$$zOnline Access$$91397441.1
001442089 909CO $$ooai:library.usi.edu:1442089$$pGLOBAL_SET
001442089 980__ $$aBIB
001442089 980__ $$aEBOOK
001442089 982__ $$aEbook
001442089 983__ $$aOnline
001442089 994__ $$a92$$bISE