B Formal Validation of ERTMS/ETCS Railway Operating Rules - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

B Formal Validation of ERTMS/ETCS Railway Operating Rules

Résumé

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.
Fichier principal
Vignette du fichier
doc00019135.pdf (136.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01066368 , version 1 (19-09-2014)

Identifiants

  • HAL Id : hal-01066368 , version 1

Citer

Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. 4th International ABZ Conference, Jun 2014, France. p124-129. ⟨hal-01066368⟩
242 Consultations
551 Téléchargements

Partager

Gmail Facebook X LinkedIn More