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

Öz

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

Anahtar Kelimeler

• Railway Signalling System, Level Crossing, Modelling, Petri Nets, Risks, Accident, Availability.

Kaynakça

1. S.CollartDutilleul, 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 Level-Crossing 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 EuropeanRailwaySignalling 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é d’un Système de Signalisation Ferroviaire ERTMS Niveau 2 », 2013.
5. «Federal Railroad Administration Office of Safety Analysis» [Online].Available:http://safetydata.fra.dot.gov/officeofsafety/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 d’Annonce et de Protection », Fiche Projet, Rabat le 26/04/2013.
7. SouleimanOuld El Mehdi, Edouard Leclercq, Dimitri Lefebvre, «Identification de Modèles de Réseaux de Pétri Stochastiques Déterministes à Partir de Séquences d’Evènements », Congrès de Maitrises des Risques et de Sûreté de Fonctionnement, Octobre 2008.
8. Karim LABADI, «Contribution à la Modélisation et à l’Analyse de Performances des Systèmes Logistiques à l’Aide d’un 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. ChristophLindemann, 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 l’Université 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 Two-terminal Reliability,” Reliability Engineering & System Safety, vol. 87, no. 2, pp. 253–264, 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. 905–914, Aug. 2006.
14. Mary Ann Blatke, «Tutorial Petri Nets in Systems Biology» 1St Edition, August 2011.