Discrete event system monitoring approach - Application to an example of railway operation

Sie sind hier: Homepage > Suche

Discrete event system monitoring approach - Application to an example of railway operation

Ghazel, Mohamed

The safety analysis of the state-of-the-art computer based railway interlocking systems is discussed. The fault-tree analysis is selected as a primary method to evaluate the failure behaviour of the system. Since the hardware system and the functional tasks of the modern interlocking systems can be very complicated, automatic fault-tree generation is introduced, which provides faster analysis and models without human errors. It is proposed a monitoring approach for Discrete Event Systems of which behaviour is a-priori modelled. The model used to represent the system behaviour is Time Petri Net. The approach proposes a set of mechanisms which exploit the temporal constraints on the bahaviour to fill up the partial observability on the system. This enables, on-line, tracking the system state and identifying the factual scenarios which occur on the system. That allows mainly detecting and identifying possible failures which can occur on the system. This kind of approaches is very suitable for railway safety studies, as the control view point behaviour can be easily represented by means of discrete event model. An illustration on a railway system is given throughout the paper to explain the various developed mechanisms.