A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
B Formal Validation of ERTMS/ETCS Railway Operating Rules
[chapter]
2014
Lecture Notes in Computer Science
The B method is a formal specification method and a means of formal verification and validation of safety-critical systems such as railway systems. In this short paper, we use the B4MSecure tool to transform the UML models, fulfilling requirements of European Railway Traffic Management System (ERTMS) operating rules, into B specifications in order to formally validate them.
doi:10.1007/978-3-662-43652-3_10
fatcat:daz3c2omwbd6dk3kxwkd3zxpze