B Formal Validation of ERTMS/ETCS Railway Operating Rules - Archive ouverte HAL
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.

Domaines

Modélisation et simulation
Fichier principal
Vignette du fichier
doc00019135.pdf (136.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ifsttar Cadic  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01066368

Soumis le : vendredi 19 septembre 2014-16:39:48

Dernière modification le : lundi 13 mai 2024-10:28:08

Archivage à long terme le : samedi 20 décembre 2014-12:05:32

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_GLSI_VASCO IFSTTAR TDS-MACS LIG_SIDCH UNIV-EIFFEL
262 Consultations
577 Téléchargements

Partager

More