Simon Collart-Dutilleul
Operating Rules and Interoperability in Trans-National High-Speed Rail
Gebonden Engels 2021 9783030720018Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783030720018
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Introduction.- Part I Operating rules and trans-national lines.- Discussion around an example of long distance line.- Operating rule and safety.- Human factor.- ERTMS.- Part II Formal methods and safety.- Modeling the system.; SysML.- Modelling hybrid aspects.- Modeling interlocking and signaling.- Sharing information and models.- Part III Model and proofs.- Model checking.- Theorem proving: B method (or Z?).- Test Specifying.- Simulation of 3D environment.- Conclusion.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan