Performing Enhanced Rail Formal Engineering Constraints Traceability: Transition Modes - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Performing Enhanced Rail Formal Engineering Constraints Traceability: Transition Modes

Résumé

—As defined in the Council directive of 1996, the European Rail Traffic Management System (ERTMS) aims to provide the basic framework to the interoperable rail signaling and train control. Besides, traffic safety depends closely on the analysis, checking and validation of the ERTMS specifications and in the human behavior. These deals are considered on the ANR Project: PERFECT, in which this work fits. Thereby, in this paper it is proposed to use a state model approach to check and validate mode transitions of the ERTMS level 2 specifications. A scenario mode transition example is used to describe the steps of the state model algorithm and to validate it.
Fichier principal
Vignette du fichier
Contribution_IESM_ERTMS.pdf (628.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01727283 , version 1 (09-03-2018)

Identifiants

  • HAL Id : hal-01727283 , version 1

Citer

Adnen El Amraoui, Khaled Mesghouni. Performing Enhanced Rail Formal Engineering Constraints Traceability: Transition Modes. 6th IESM Conference, Oct 2015, Sevilla, Spain. ⟨hal-01727283⟩
89 Consultations
259 Téléchargements

Partager

Gmail Facebook X LinkedIn More