Journal
ENTERPRISE INFORMATION SYSTEMS
Volume 5, Issue 3, Pages 273-286Publisher
TAYLOR & FRANCIS LTD
DOI: 10.1080/17517575.2011.575475
Keywords
interlocking; component-based model; statechart; formal verification; high-speed railway; railway signalling systems; railway integrated information systems
Categories
Ask authors/readers for more resources
A computer-based interlocking system (CIS) is a kind of safety-critical system widely applied in the signalling industry today. The relay logic is always used to describe the interlocking logic in CIS. Normally, all of the interlocking logic is designed by experienced signalling engineers manually, which leads to low efficiency and high cost. This article proposes a new logic design approach. In this new approach, a component-based model is used to represent the topology of the station layout, and statecharts are used to describe the interlocking logic. Then the statecharts description is transformed to the relay logic. The entire procedure of interlocking logic development can be finished automatically, and a software toolkit is implemented according to this approach. The introduction of statecharts also makes the formal verification of interlocking logic possible, which can guarantee the generated logic correction.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available