Two methods for modeling and verification of safety properties of railway infrastructures

A. Faivre (1) , A. Lapitre (1) , A. Lanusse (1) , M. Perin (1) , S. Rangra (2) , M. Sallak (2) , W. Schön (2)

1 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes
2 Heudiasyc - Heuristique et Diagnostic des Systèmes Complexes [Compiègne]

This paper presents and compares two model-based approaches to ensure the dependability of a rail system in the context of ERTMS (European Rail Traffic Management System). V&V activities against safety properties are carried out by simulating train operations on State machine models of railway infrastructures. This paper presents this approach by means of a comparative study between two tools which analyze the models with various verification strategies. The tools used are Matlab Simulink environment and the DIVERSITY symbolic execution tool from CEA LIST.

Mots clés: Railroad plant and structures; Railroad traffic control; Railroads; Rails; Safety engineering; Comparative studies; ERTMS; European rail traffic management systems; Model based approach; Modeling and verifications; Railway infrastructure; State machine; Verification Strategy; Railroad transportation

Domaines: Informatique [cs]

A. Faivre, A. Lapitre, A. Lanusse, M. Perin, S. Rangra, et al.. Two methods for modeling and verification of safety properties of railway infrastructures. 2015 International Conference on Industrial Engineering and Systems Management (IESM), Oct 2015, Seville, Spain. pp.48-54, ⟨10.1109/IESM.2015.7380134⟩. ⟨cea-01836265⟩