A reachability analysis for verification of safety properties of railway infrastructures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

A reachability analysis for verification of safety properties of railway infrastructures

Résumé

The work presented in this paper aims to model a railway infrastructure composed of tracks, switches and signal lights to verify certain safety properties related to the exploitation of this infrastructure. The modeling will be done using statecharts formalism. The verification approach of the safety properties will be carried out by simulating the operation of the infrastructure. This approach is based on a reachability analysis of dangerous states related to the operation of the infrastructure. The reachability analysis of dangerous states allows to detecting a near accident. Finally, the Statechart model is used to simulate a scenario of a near accident between two trains.
Fichier non déposé

Dates et versions

hal-01060847 , version 1 (04-09-2014)

Identifiants

  • HAL Id : hal-01060847 , version 1

Citer

Siqi Qiu, Guy-Leon Kaza, Mohamed Sallak, Walter Schön. A reachability analysis for verification of safety properties of railway infrastructures. 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Tool Exhibition and Tutorium (FORMS/FORMAT 2014), Sep 2014, Braunschweig, Germany. ⟨hal-01060847⟩
172 Consultations
0 Téléchargements

Partager

More