Operating Rules and Interoperability in Trans-National High-Speed Rail

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)

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.