Dependability Assessment of the Railway Signalling Systems Based on the Stochastic Petri Nets Analysis

In this article, we propose a methodology to evaluate the performances of the railway signalling systems in terms of the availability. Firstly, level crossings in Morocco are presented. Secondly, a railway signalling system ERTMS level 2 modelling is proposed .The human factor and network failures are also taken into account. Finally, this system performance evaluation is proposed in every state (nominal way of functioning, degraded mode, and failure mode).

[1]  Wei Jiang,et al.  Confidence bounds for the reliability of binary capacitated two-terminal networks , 2006, Reliab. Eng. Syst. Saf..

[2]  Zohra Cherfi,et al.  Modélisation et évaluation de la disponibilité d'un système de signalisation ferroviaire ERTMS niveau 2 , 2013 .

[3]  Axel Thümmler,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions , 1999, Perform. Evaluation.

[4]  Karima Labadi,et al.  Contribution à la modélisation et à l'analyse de performances des systèmes logistiques à l'aide d'un nouveau modèle de réseaux de Petri stochastiques , 2005 .

[5]  P. Bon,et al.  Safety requirements and p-time Petri nets: A Level Crossing case study , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[6]  Peter J. Haas,et al.  Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .

[7]  Fabien Belmonte.  Impact des postes centraux de supervision de trafic ferroviaire sur la sécurité. (Impact of the automatic train supervision systems on safety) , 2008 .

[8]  Mohamed Ghazel,et al.  Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment , 2009, IEEE Transactions on Intelligent Transportation Systems.

[9]  Jean-François Aubry,et al.  Evaluation des performances du système de signalisation ferroviaire européen superpose au système français, en présence de défaillances Performance assessment of European railway signalling system superposed of the French system in the presence of failures , 2010 .