A reachability analysis for verification of safety properties of railway infrastructures

Abstract : 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.
Type de document :
Communication dans un congrès
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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01060847
Contributeur : Siqi Qiu <>
Soumis le : jeudi 4 septembre 2014 - 13:12:04
Dernière modification le : dimanche 22 mai 2016 - 22:34:38

Identifiants

  • HAL Id : hal-01060847, version 1

Collections

Citation

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>

Partager

Métriques

Consultations de la notice

160