Safety Characteristics Analysis of Korean Standard Communication Protocol for Railway Signalling

열차제어용 표준 통신 프로토콜의 안전 특성 분석 및 평가

  • 황종규 (한국철도기술연구원, 열차제어연구팀) ;
  • 조현정 (한국철도기술연구원, 열차제어연구팀) ;
  • 이재호 (한국철도기술연구원, 열차제어연구팀)
  • Published : 2007.06.30

Abstract

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.

References

  1. 'IEC 62280-1 : Safety-related communication in closed transmission systems', 2002
  2. D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocols', Report No. CSD-810401, UCLA, (PhD Thesis), April 1981
  3. R. Cleaveland, 'Tableau-Based Model-checking in the Propositional Mu-calculus', Acta Informatica, vol.27, No.3, pp.725-727, 1990
  4. 황종규, 이재호, '전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석', 한국철도학회논문지, 제 6권 제 2호, pp.135-141, 2003.06
  5. B. Sarikaya, 'Principles of Protocol Engineering and Conformance Testing', Ellis Horwood, New York, NY, 1993
  6. 'IEC 62280-2 : Safety-related communication in open transmission systems', 2002
  7. J. G. Hwang, H. J. Jo and J. H. Lee, 'Development .of Communication Protocol Verification Tool for Vital Railway Signalling Systems', Journal of Electrical Engineering & Technology, vol. 1, no. 4, pp.513-519, Dec. 2006 https://doi.org/10.5370/JEET.2006.1.4.513
  8. 황종규, 조현정, 이재호, '열차제어시스템과 SCADA 장치간 네트워크 기반 데이터 전송 프로토콜의 성능분석', 대한전기학회 논문지, Vol. 55B, no. 9, pp.485-490, 2006. 9