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 - 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.

Keywords: 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

Domains: Computer Science [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⟩