Trace analysis from ERTMS engineering - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Trace analysis from ERTMS engineering

Analyse de traces ERTMS

Résumé

Interoperability of railway systems is a major concern in the European Union. Therefore, ERTMS (European Railway Train Management System) has been defined. Nevertheless, ERTMS has to be paired with national track rules. The Perfect project studies the implementation of ERTMS on the French territory. We use an ERTMS 3D Simulator framework which is able to simulate trains, track and communication between the trains and the RBC. The simulator records all events that occur in a sequence of states called trace. Each event is timestamped, so the sequence of events can be temporally analysed. We propose a methodology to analyse the results of a scenario performed on this platform, using temporal properties. One of the strengths of this method is the computation of statistical information on the trace during its analysis, according to a dedicated pattern of property. An automatic analysis of a trace can be used in several domains. In safety, verification of critical temporal property makes sense in ensuring that a program is compliant with its specification. An analysis of an accident or near accident using temporal properties can provide a safety problem detection and a first level diagnosis. It can also be a interesting tool to evaluate the efficiency of an operator according to several criteria such as tiredness, expertise, repetitiveness of an event.
L'interopérabilité des systèmes ferroviaires est une préoccupation importante de l'Union Européenne qui a défini le système ERTMS (European Railway Train Management System). ERTMS doit cependant être couplé avec les règles nationales. Le projet PERFECT étudie l'implémentation d'ERTMS sur le territoire français. Nous utilisons un simulateur 3D capable de simuler les trains, les voies et les communications entre les trains et le RBC. Le simulateur enregistre tous les événements qui se produisent dans une séquence d'états appelée trace. Chaque événement est daté, ce qui permet de mener des analyses temporelles sur la trace. Nous proposons une méthode pour analyser les traces par rapport à des propriétés temporelles désirées. Une force de la méthode est de calculer des informations statistiques sur la trace par rapport à un patron de propriété. L'analyse automatique de la trace est intéressante d'un point de vue sécurité pour obtenir un premier niveau de diagnostic, elle est également intéressante pour évaluer l'efficacité d'un opérateur selon diffrénts critères tels que la fatigue ou l'expertise.
Fichier principal
Vignette du fichier
DTIM16069.1471859239.pdf (2.57 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01386725 , version 1 (24-10-2016)

Identifiants

  • HAL Id : hal-01386725 , version 1

Citer

Antoine Ferlin, Simon Collart-Dutilleul, Philippe Bon, Virginie Wiels. Trace analysis from ERTMS engineering. COMPRAIL, Jul 2016, MADRID, Spain. ⟨hal-01386725⟩
185 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More