Modeling of Interlocking Systems based on Patterns
Yan Wang, Wen Zhong, Xiao Hong Chen, Dehui Du · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2018
The equipment faults of the interlocking system in rail transit system has occurred frequently, and these faults can cause serious accidents.The modeling of the interlocking system must aim at the stochasticity and real-time characteristics of equipment faults.Therefore, this paper proposes to model the interlocking system using stochastic hybrid automata.In order to improve model efficiency, we try to extract the pattern of the interlocking system model, and reuses these patterns in system modeling.The main contributions include: (1) Based on the business analysis of the interlocking system, 12 model patterns of the interlocking system are extracted; and (2) the modeling process of the interlocking system based on patterns reuse is given to guide system modeling.Finally, a case study is presented to illustrate the feasibility and effectiveness of our approach.