Research On The Specification Of Computer Interlocking Principles Of Interlocking Software Basing On Time-automation Model

In the Railway signaling computer-based interlocking system, interlocking software is the key component. Its failure may case the fatal accident, such as trains come into collision or trains are toppled down. So it is very important to enhance the quality and the reliability of the interlocking software when designing the computer interlocking system.This paper chooses HJ04A railway signaling computer-based interlocking system as the research object. Its main content is using the time-automation model to describe the interlocking principles of five interlocking functions. The five interlocking functions include two signal devices such as rotating machine and signal machine and three other processes such as route process, route locking process, and route release process. The paper also separately summarizes the states and the transfer of the states of each interlocking function. Also, the paper offers a method to design the interlocking functions basing on the Time-automation machine.In the first chapter, it illustrates the source, purpose and the significance of the paper. In the second chapter, it puts its emphasis on the introduction of the structure, function and some basic interlocking principles of the HJ04A railway signaling computer-based interlocking system. In the following chapter, it introduces and analyses three kinds of specification methods that is UML, normal Petri nets and automation machine. Also in this section, it gives the advantage and disadvantage of the specification. In the forth chapter, it summarizes the states and the states transfer of the interlocking principle of the five interlocking functions. It also models those states and transfer with time-automation machine. At the chapter five, it proposes a method that can be used in the design of interlocking software, and the method is basing on the Time-automation machine.