@inproceedings{0db9384c8a6d4d2abcf8b06704d7f892,
title = "Modeling of interlocking systems based on patterns",
abstract = "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.",
keywords = "Interlocking System, Modeling, Pattern reuse, Stochastic hybrid automata, UPPAAL-SMC",
author = "Wang Yan and Zhong Wen and Xiaohong Chen and Dehui Du",
note = "Publisher Copyright: {\textcopyright} 2018 Universitat zu Koln. All rights reserved.; 30th International Conference on Software Engineering and Knowledge Engineering, SEKE 2018 ; Conference date: 01-07-2018 Through 03-07-2018",
year = "2018",
doi = "10.18293/SEKE2018-138",
language = "英语",
series = "Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE",
publisher = "Knowledge Systems Institute Graduate School",
pages = "292--297",
booktitle = "Proceedings - SEKE 2018",
address = "美国",
}