High level Petri net modeling For railway safety critical scenarios - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

High level Petri net modeling For railway safety critical scenarios

Résumé

This paper presents a high level Petri net modeling methodology for railway systems safety critical scenarios. This methodology is based on modular high level Petri nets, including most relevant components of a railway safety system, as safety regulation procedures, interlocking and especially human factors, enabling more various gathering of information and allowing the study of diverse possibilities in a same global model. At first, this method was applied to the infrastructure and the regulation of the Moroccan Kenitra railway station. Afterward, a first approach of real accident scenario modeling was introduced for 'Saint Romain en Gier' accident, taking account of human errors. Our goal is to bring formal tools in order to study weaknesses in shunting management within train stations and accidental scenarios, considering automatic mechanisms and human involvement.
Fichier principal
Vignette du fichier
doc00020269.pdf (356.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01263459 , version 1 (27-01-2016)

Identifiants

  • HAL Id : hal-01263459 , version 1

Citer

Zakaryae Boudi, El Miloudi El Koursi, Simon Collart-Dutilleul, Moha Khaddour. High level Petri net modeling For railway safety critical scenarios. 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Braunschweig, Germany. p65-75. ⟨hal-01263459⟩
144 Consultations
274 Téléchargements

Partager

Gmail Facebook X LinkedIn More