Skip to Main content Skip to Navigation
Conference papers

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]
Abstract : 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
Document type :
Conference papers
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01836265
Contributor : Léna Le Roy <>
Submitted on : Thursday, July 12, 2018 - 11:00:02 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM

Identifiers

Collections

CEA | CNRS | UNIV-COMPIEGNE | CEA-UPSAY | DRT | LIST | ASER | HEUDIASYC | GS-COMPUTER-SCIENCE | GS-ENGINEERING

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

128