Two methods for modeling and verification of safety properties of railway infrastructures - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

(1) , (1) , (1) , (1) , (2) , (2) , (2)
1
2

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

Dates and versions

cea-01836265 , version 1 (12-07-2018)

Identifiers

Cite

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⟩
22 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More