Development of a Scheme Design and Verification Tool based on Software Design Diversity for Solid State Interlocking Systems

Abstract

In this paper development of a scheme design and verification tool based on software design diversity for the newest solid-state interlocking system named PRIME, is introduced. Interlocking systems need different specifications on each stations. The interlocking tables form most of that specification. By utilizing this tool, the signal engineer is able to manage large number of data easily and efficiently, and compiles interlocking data from the interlocking tables for PRIME, Interlocking function which is reqired fail-safe control, is depend on interlocking data. Therefore fault avoidance of interlocking data is indispensable. It is for this reason that we utilized software design diversity for construction of this tool.
We have four phases of the design diversity in the software life cycle. Phase-1: Diversity data input of interlocking table and geographical data. Phase-2: Decompile of interlocking database. Phase-3: Interlocking data compile and interlocking functional test. Phase-4: Diversity compile for track remodeling support data.