B Formal Validation of ERTMS/ETCS Railway Operating Rules
BEN AYED ; COLLART-DUTILLEUL ; BON ; IDANI ; LEDRU
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
BEN AYED ; COLLART-DUTILLEUL ; BON ; IDANI ; LEDRU
Résumé / 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.
