Safety Characteristics Analysis of Korean Standard Communication Protocol for Railway Signalling

초록

The safety requirement for communication of railway system is standardized as IEC 62280 recently. Railway signalling system requires higher safety than any other system and it is very important to establish safety communication link for interface among safety equipments such as between CTC communication server and field equipment, LDTS, or electronic interlocking system or among SCADA. The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.

키워드