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.
Performing enhanced rail formal engineering constraints traceability: Transition modes
01.10.2015
695205 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Traceability Analysis and Control Measures of TVOC in Rail Passenger Vehicles
DOAJ | 2025
|Rail transition device, circular rail crane, transition system and transition method
Europäisches Patentamt | 2023
|NTRS | 2019
|