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.