Synopsis
This 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.
"synopsis" may belong to another edition of this title.
About the Author
Doctor Simon Collart-Dutilleul,is the Senior researcher and head of the ERTMS task force of IFSTTAR (The French institute of science and technology for transport, spatial planning, development and networks)
From the Back Cover
This 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.
"About this title" may belong to another edition of this title.
Search results for Operating Rules and Interoperability in Trans-National...
Stock Image
Operating Rules and Interoperability in Trans-National High-Speed Rail [Hardcover] Collart-Dutilleul, Simon
Seller: SpringBooks, Berlin, Germany
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. 1. Auflage. Unread, with a mimimum of shelfwear. Immediately dispatched from Germany. Seller Inventory # CEN-2311C-CENKISTE4-04-1000XS
Buy Used
US$ 71.08
US$ 46.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Operating Rules and Interoperability in Trans-National High-Speed Rail
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This 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. Seller Inventory # 37705699/1
Buy Used
US$ 37.09
US$ 122.44 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Operating Rules and Interoperability in (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # ZKSWNQXW86
Buy New
US$ 170.88
US$ 7.93 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Operating Rules and Interoperability in Trans-national High-speed Rail
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43616611-n
Stock Image
Operating Rules and Interoperability in Trans-National High-Speed Rail
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030720018_new
Buy New
US$ 205.22
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Operating Rules and Interoperability in Trans-national High-speed Rail
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43616611
Stock Image
Operating Rules and Interoperability in Trans-national High-speed Rail
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43616611-n
Buy New
US$ 205.21
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Operating Rules and Interoperability in Trans-National High-Speed Rail
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783030720018
Seller Image
Operating Rules and Interoperability in Trans-National High-Speed Rail
Published by
Springer International Publishing, 2021
ISBN 10: 3030720012
ISBN 13: 9783030720018
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents modern solutions for safety and interoperability validationDiscusses the efficiency of different tools used at different steps of the analysing processCovers trackside infrastructure modelling, signalling and operating rule ana. Seller Inventory # 458553430
Buy New
US$ 184.64
US$ 57.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Operating Rules and Interoperability in Trans-National High-Speed Rail
Published by
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030720012
ISBN 13: 9783030720018
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookexamines theproblem of interoperability related to operating rules andgives 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. 264 pp. Englisch. Seller Inventory # 9783030720018
Buy New
US$ 218.47
US$ 26.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available