Abstract
The Centralized Traffic Control (CTC) system plays an important role in ensuring safe and efficient rail transportation operations. It is mainly responsible for the implementation and adjustment of the train operation schedule through the automatic control of the station signalling equipment. The major task of the CTC system is to achieve a high rail transportation operation efficiency under the precondition of safety. For this purpose, it is necessary to select appropriate safety control schemes for the CTC system. In this paper, a formal approach is proposed to quantitatively evaluate the operation efficiencies of the CTC system with respect to different safety control schemes. The proposed approach adopts stochastic coloured Petri nets as the means of description for the system model, and evaluates the operation efficiency of the CTC system based on the data collected during the simulation of the system model. To exemplify the proposed approach, the safety control scheme of prohibiting a passenger train from passing a freight train through adjacent rail tracks between two adjacent stations is studied. The results of the case study show the feasibility of the proposed approach.
Funder
Fundamental Research Funds for the Central Universities
Subject
Management, Monitoring, Policy and Law,Renewable Energy, Sustainability and the Environment,Geography, Planning and Development,Building and Construction
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献