Predicting accidents in interlocking systems: An SHA model-based approach

In recent days, rail transit accidents happen from time to time, but the causes are difficult to be found. According to the stochastic and real-time characteristics of equipment faults, three layer models based on stochastic hybrid automata (SHA) are proposed for interlocking systems. The three layer models consist of a system model, a monitoring model and a fault prediction model. The accidents caused by the equipment faults are predicted by simulating these models together on UPPAAL-SMC platform. The main contributions of this paper include: (1) extracting model patterns for interlocking systems (2) presenting a pattern-based system model generation process and an automatic generation method of monitoring model based on time constraints and (3) defining the accidents prediction model of collision accidents to predict the accidents and monitoring accident causes through model simulation.