Extraction of Critical Scenarios in a Railway Level Crossing Control System | Zendy

Malika Medjoudj | Zendy; Pascal Yim | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Extraction of Critical Scenarios in a Railway Level Crossing Control System

Author(s) -

Malika Medjoudj,

Pascal Yim

Publication year - 2007

Publication title -

international journal of computers communications and control

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.422

H-Index - 33

eISSN - 1841-9844

pISSN - 1841-9836

DOI - 10.15837/ijccc.2007.3.2358

Subject(s) - petri net , computer science , abstraction , level crossing , extraction (chemistry) , real time computing , stochastic petri net , control (management) , reliability engineering , data mining , distributed computing , artificial intelligence , engineering , philosophy , chemistry , epistemology , chromatography , mechanical engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research