Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2004.05a
  • /
  • Pages.1367-1370
  • /
  • 2004
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Study on Development for Verification and Conformance Test Tool of Rail Signal Control Protocol

철도 신호 제어프로토콜의 검정 및 적합성시험 도구 개발에 관한 연구

  • Seo, Mi-Seon (Dept of Telematics Engineering, Pu-Kyong National University) ;
  • Hwang, Jin-Ho (Dept of Telematics Engineering, Pu-Kyong National University) ;
  • Kim, Sung-Un (Dept of Telematics Engineering, Pu-Kyong National University) ;
  • Hwang, Jong-Gyu (Korea Railroad Research Institute) ;
  • Lee, Jea-Ho (Korea Railroad Research Institute)
  • Published : 2004.05.14
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.

Keywords