Extraction of Critical Scenarios in a Railway Level Crossing Control System
Keywords:
Critical scenarios, hybrid dynamic, level crossing control system, safety, temporal Petri netAbstract
This paper deals with the safety of the level crossing control system. We propose one way of the safety evaluation witch consist on the extraction of feared scenarios in the Petri net model of the system. We use ESA_PetriNet tool (Extraction Scenarios & Analyzer by Petri Net model) that was developed in the aim of extraction of feared scenarios in computer-controlled systems. These scenarios characterize the sequences of actions leading to dangerous situations. The taking into account of the failures, the temporal constraints and partially the continuous dynamic (by temporal abstraction) of the system makes it possible to respect the order of appearance of the events in the generated scenarios.References
Kalos, M.H., Whitlock, P.A., Mont Carlo methods, Vol. 1: basics, John Wiley and Sons, New York, 1986.
Laprie, J.C., Dependability: basic concepts and terminology, Vol. 5, Springer, 1992. http://dx.doi.org/10.1007/978-3-7091-9170-5
Medjoudj, M., Khalfaoui, S., Demmou, H., Valette, R., "A method for deriving feared scenarios in hybrid systems," Probabilistic Safety Assessment and Management (PSAM7-ESREL04), Berlin, Germany, 14-18 June 2004.
Medjoudj, M., Demmou, H., Valette, R., "ESA_PetriNet tool : Extraction Scenarios & Analyzer by Petri Net model : Application to the extraction of feared scenarios in a landing gear system," European Simulation and Modeling Conference (ESM2006), LAAS, Toulouse, France, pp. 375-382, 23-25 October 2006.
Murata, T., "Petri nets: Propreties, analysis and applications," IEEE Proc, Vol. 77, pp. 541-580, April 1989. http://dx.doi.org/10.1109/5.24143
Demmou, H., Khalfaoui, S., Riviere, N., Valette, R., "Extracting critical scenarios from a Petri net model using linear logic," Journal Européen des Systèmes Automatisés (APII-JESA), Vol. 36, N7, pp. 987-999, 2002
Girard, J.Y., "Linear Logic," Theoretical Computer Science, Vol. 50, pp. 1-102, 1987. http://dx.doi.org/10.1016/0304-3975(87)90045-4
Berthomieu, B., Ribet, P.O., Vernadat, F., "The tool TINA - Construction of abstract state spaces for Petri nets and time Petri nets," International Journal of Production Research, Vol. 42, N14, pp.2741- 2756, 15 July 2004. http://dx.doi.org/10.1080/00207540412331312688
Collart-Dutilleul, S., Deffossez, F., Bon, P., "Safety requirements and p-time Petri nets: a level crossing case study," IMACS-IEEE Multiconference on Computational Engineering in Systems Applications, pp. 1118-1123, oct 2006.
Jansen, L., Schnieder, E., "Traffic Control Systems Case Study: Problem Description and a Note on Domain-based Software Specification," Technical rapport, Technical University of Braunschweig, 2000.
List, G.F., Cetin, M., "Modeling traffic signal control using Petri nets," IEEE Trans. on Intelligent Transportation Systems, Vol. 5, N3, pp. 177- 187, 2004. http://dx.doi.org/10.1109/TITS.2004.833763
Febbraro, A.Di., Giglio, D., Sacco, N., "Urban Traffic Control Structure Based on Hybrid Petri Nets," IEEE Trans. on Intelligent Transportation Systems Vol. 5, N4, pp. 224-237, 2004. http://dx.doi.org/10.1109/TITS.2004.838180
Padberg, J., Gajewsky, M., "Rule-Based Refinement of Petri Nets For Modeling Train Control Systems," IFAC Conference on Control Systems Design (CSD2000), Elsevier Science, pp, 299-304. 2000.
Published
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
