A Study of Safety Verification Model for Electronic Interlocking System

초록

Train control system of High-Speed Line has introduced from outside the country, and manufactured and constructed within the country. However, for key algorithm and the safety validation techniques, it has not fully localized yet. So, we research a model for interface technology development and its verification in order to replace electronic interlocking system to a localized system. In this paper, we study and analyze the safety and reliability of the electronic interlocking system of high-speed line, and propose the equal or higher safety and reliability goals of the existing equipment quantitatively with its allocation base in the specification of the interlocking. With the aim of satisfaction assessment on the goals proposing the results of safety and reliability assessment of interlocking developed based on the specification, the detailed procedures are included in the verification model. With the standard of IEC 62278, the management for the satisfaction of quantitative safety and reliability goals is classified 10 stages from concept design to system acceptance. And we propose the system for management and assessment in each stage and apply this model to the developed interlocking and verify its safety.