 |
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.
https://hal-cea.archives-ouvertes.fr/cea-01836265
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:00:02 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:00:02 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM