TDM - Transports Durables et Mobilité

Performing Enhanced Rail Formal Engineering Constraints Traceability – PERFECT

Submission summary

When a train crosses a border, it will need to change its onboard signalling system for example, which will generate an important financial cost. Interoperability of the rail system within Europe is therefore key to its competitiveness. It aims at creating a rail network allowing transport that is safe, compliant with the required performance level of the lines, and which does not necessitate train transfers. This requires the compliance with a set of rules, of technical and operational conditions which ensure that the essential requirements are met. The present project aims at contributing to the validation and implementation of a European system for railway signalling called ERTMS “European Rail Traffic Management System”.
The management of railway signalling in ERTMS is based on local rules pertaining to each country and not on global rules. This makes it difficult to evaluate the system in terms of safety. Thus, one of the main objectives of this study is to supply methodological tools for the evaluation of the global consistency between the specification and the operating rules, with regard to safety. This issue is crucial and yet it has scarcely been covered by scientific literature.
A formal representation of the ERTMS specifications will be provided, which will enable the validation various systems through automatically generated test scenarios.
• These systems will be modelled and studied in order to establish, if possible without having to test, whether they are compliant with ERTMS
• The national rules complementing ERTMS will be included in the study.
Achieving interoperability through ERTMS requires that all parties have the same understanding of the technical specifications for interoperability. Using a model featuring rigorous semantics will help identifying and clarifying ambiguousness in the specifications.
A first step will therefore be to build a formal model based on complex requirements taken out of some rules. It will then be possible to analyze in details a European specification in the face of national operating rules, for example with regard to the execution of a Movement authority (MA). An actual specification, proposed by the railway company, will be analyzed in work-package 1 (The ERA or EPSF will be asked to provide an initial specification). The French Public Railway Safety Authority (EPSF) is competent in railway security matters whiles being independent from railway operators.
A second step will provide a study of methodological and software tools in the literature. Formal models will be used to determine whether a given scenario meets the specifications. The respect of the European system requirement specifications (SRS) and of national safety requirements will be studied, on the level of models as well as analysis tools.
In a last step, a study will be based on tests on an ERTMS simulation tool compliant with the official specifications. The possibility of making the two work together in an integrated approach will be studied.

Project coordinator

Monsieur Simon COLLART-DUTILLEUL (Institut français des sciences et technologies des transports, de l’aménagement et des réseaux, unité de recherche Évaluation des Systèmes de Transports Automatisés et leur Sécurité.) –

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


ERSA European Rail Software Applications
IFFSTAR-ESTAS Institut français des sciences et technologies des transports, de l’aménagement et des réseaux, unité de recherche Évaluation des Systèmes de Transports Automatisés et leur Sécurité.
HEUDIASYC Heuristique et Diagnostic des Systèmes Complexes
LAGIS Le Laboratoire d'Automatique, Génie Informatique et Signal (LAGIS UMR CNRS 8219)
CEA LIST Commissariat à l'Energie Atomique et aux Energies Alternatives

Help of the ANR 1,161,715 euros
Beginning and duration of the scientific project: October 2012 - 36 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter