DOI QR코드

DOI QR Code

Implementation of Methodology & Tool for Communication Safety Guarantee in Railway System

철도시스템 통신 안전성 확보를 위한 방법 제시 및 도구 구현

  • 발행 : 2010.03.01

초록

Safety-critical systems related to the railway communications are currently undergoing changes. Mechanical and electro-mechanical devices are being replaced by programmable electronics that are often controlled remotely via communication networks. Therefore designers and operators now not only have to contend with component failures and user errors, but also with the possibility that malicious entities are seeking to disrupt the services provided by theirs systems. Recognizing the safety-critical nature of the types of communications required in train control operations, the communications infrastructure will be required to meet a number of safety requirements such as system faults, user errors and the robustness in the presence of malicious attackers who are willing to take determined action to interfere in the correct operation of a system. In this paper, we proposed the safety strategies employed in the railway communications and a security mechanism for Korean railway communication system. Also, we presented the developed means for validation and determination of communication safety based on the proposed security mechanism in the railway system.

키워드

참고문헌

  1. IEC 62280-1, "Safety-related communication in closed transmission systems," 2002.
  2. IEC 62280-2, "Safety-related communication in open transmission systems," 2002.
  3. 철도 6330-3348, "철도신호시스템 점대점 정보전송 방식," 2005.
  4. 철도 6330-3349, "철도신호시스템 네트워크 정보전송 방식," 2005.
  5. Knight J. C., "Software Challenges in Aviation Systems," Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP, Lecture Notes in Computer Science, Vol. 2434, pp. 106-112, Sep. 2002.
  6. Dehbonei D., Mejia F., "Formal Methods in the Railway Signalling Industry," in Naftalin et. al., pp. 26-35, 1994.
  7. Gnesi S., Latella D., Lenzini G., Abbaneo C., Amendola A., Marmo P., "A Formal Specification and Verification of a Safety Critical Railway Control System," Proceedings of the 5th International Workshop on Formal Methods from Industrial Critical Systems, Apr. 2000.
  8. Laprie J. C., "Dependable Computing and Fault Tolerance: Concepts and Terminology," Proceeding of FTCS-25, Vol. 3, pp. 2-11, 1996.
  9. Leveson N. G., "Software: System Safety and Computers," Addison-Wesley, 1995.
  10. R. Rivest, "The MD4 Message-Digest Algorithm," published within Internet, 1992.
  11. RFC(Request For Comments) 1321, "The MD5 Message-Digest Algorithm," , 1992.
  12. Tanenbaum A. S., "Distributed Operating systems," Prentice-Hall, 1995.
  13. [DES] FIPS(Federal information processing standard) PUB 46, "Specifications for the Data Encryption Standard," 1977.