Extraction of Critical Scenarios in a Railway Level Crossing Control System

Malika Medjoudj, Pascal Yim

Abstract


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.

Keywords


Critical scenarios, hybrid dynamic, level crossing control system, safety, temporal Petri net

Full Text:

PDF

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.




DOI: https://doi.org/10.15837/ijccc.2007.3.2358



Copyright (c) 2017 Malika Medjoudj, Pascal Yim

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2);

SCImago Journal & Country Rank

Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.