Abstract
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. © 2014 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Ayed, R. B., Collart-Dutilleul, S., Bon, P., Idani, A., & Ledru, Y. (2014). B formal validation of ERTMS/ETCS railway operating rules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8477 LNCS, pp. 124–129). Springer Verlag. https://doi.org/10.1007/978-3-662-43652-3_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
