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
2015-10-01
695205 byte
Conference paper
Electronic Resource
English
Traceability Analysis and Control Measures of TVOC in Rail Passenger Vehicles
DOAJ | 2025
|Rail transition device, circular rail crane, transition system and transition method
European Patent Office | 2023
|NTRS | 2019
|