Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadatas

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 : Monday, February 10, 2020 - 6:14:14 PM

Identifiers

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⟩

Share

Metrics

Record views

103