Jaouad BOUDNAYA, Abdelhak MKHİDA, Badr Bououlid IDRİSSİ

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).

PDF

___

[1] S.Collart Dutilleul, F.Defossez, P.Bon, «Safety Requirements and P-time Petri Nets: A Level Crossing Case Study», IMACS Multiconference on "Computational Engineering in Systems Applications"(CESA), Beijing, China , October 4-6, 2006.

[2] Mohamed Ghazel, « Using Stochastic Petri Nets for LevelCrossing Collision Risk Assessment »,IEEE Transactions on Intelligent Transportation Systems, Vol. 10, No. 4, December 2009.

[3] Lalouette J., Caron R., Scherb F., Brinzei N., Aubry JF., Malassé O. «Performance Assessment of European Railway Signalling System Superposed of the French System in the Presence of Failures», Manuscrit auteur, publié dans "17e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Lambda-Mu'2010, La Rochelle : France 2010.

[4] Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi «Modélisation et Evaluation de la Disponibilité dun Système de Signalisation Ferroviaire ERTMS Niveau 2 », 2013.

[5] «Federal Railroad Administration Office of Safety Analysis» [Online].Available:http://safetydata.fra.dot.gov/officeofsafe ty/default.aspx.

[6] « Sécurisation de la Traversée des Voies Ferrées au droit des passages à Niveau : Equipement des Passages a Niveau Non Gardés par Système Automatique dAnnonce et de Protection », Fiche Projet, Rabat le 26/04/2013.

[7] Souleiman Ould El Mehdi, Edouard Leclercq, Dimitri Lefebvre, «Identification de Modèles de Réseaux de Pétri Stochastiques Déterministes à Partir de Séquences dEvènements », Congrès de Maitrises des Risques et de Sûreté de Fonctionnement, Octobre 2008.

[8] Karim LABADI, «Contribution à la Modélisation et à lAnalyse de Performances des Systèmes Logistiques à lAide dun Nouveau Modèle de Réseaux de Pétri Stochastiques » Thèse de doctorat Université de Technologie de Troyes (UTT) 2005.

[9] Peter J. Haas, «Stochastic Petri Nets: Modeling, Stability, Simulation», Springer-Verlag, New York, 2002.

[10] Christoph Lindemann, Axel Thümmler, «Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions », Août 1996.

[11] Fabien Belmonte, «Impact des Postes Centraux de Supervision de Trac Ferroviaire sur la Sécurité », Thèse de doctorat de lUniversité de Technologie de Compiègne, février 2009.

[12] J. E. Ramirez-Marquez and D. W. Coit, A Monte-Carlo simulation Approach for Approximating Multi-state Twoterminal Reliability, Reliability Engineering & System Safety, vol. 87, no. 2, pp. 253264, Feb. 2005.

[13] J. E. Ramirez-Marquez and W. Jiang, Confidence Bounds for the Reliability of Binary capacitated Two-terminal Networks, Reliability Engineering & System Safety, vol. 91, no. 8, pp. 905914, Aug. 2006.

[14] Mary Ann Blatke, «Tutorial Petri Nets in Systems Biology» 1St Edition, August 2011.