DocumentCode :
3728851
Title :
Two methods for modeling and verification of safety properties of railway infrastructures
Author :
Alain Faivre;Arnault Lapitre;Agnes Lanusse;Matthieu Perin;Subeer Rangra;Mohamed Sallak;Walter Sch?n
Author_Institution :
CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, CEA Saclay-Nano-INNOV Bat 862-PC 174, 91191 Gif sur Yvette CEDEX France
fYear :
2015
Firstpage :
48
Lastpage :
54
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 :
"Unified modeling language","Rails","Safety","Mathematical model","Europe","Object oriented modeling","Rail transportation"
Publisher :
ieee
Conference_Titel :
Industrial Engineering and Systems Management (IESM), 2015 International Conference on
Type :
conf
DOI :
10.1109/IESM.2015.7380134
Filename :
7380134
Link To Document :
بازگشت