By Topic

Automatic generation and verification of interlocking tables based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI)

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Yan Cao ; State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, 100044, China ; Tianhua Xu ; Tao Tang ; Haifeng Wang
more authors

Interlocking tables, as the function specification of the Computer Based Interlocking System (CBI), play an important role in ensuring safe train movements at a railway station. The development and verification of interlocking tables is entirely manual process currently, which is inefficient and error-prone due to the complexity of the CBI and the human interferences. In order to tackle these problems, we introduce a toolset based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI) to automatically generate and verify the interlocking table. In this paper, we address how to use the algorithm to automatically generate the interlocking table by inputting the XML file of the railway station designed by DSL-CBI, and how to use model checking to verify whether there are any conflicting settings in it. We also discuss the advantages of the toolset and the significant contribution in developing CBI based on the proposed toolset.

Published in:

Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on  (Volume:2 )

Date of Conference:

10-12 June 2011