Verification Test of Communication Protocol for Interface between EIS and LDTS |
황종규
(한국철도기술연구원)
이재호 (한국철도기술연구) 윤용기 (한국철도기술연구) 신덕호 (한국철도기술연구원) |
1 | 철도용품 규격, '철도 6330-3328: 열차집중제어장치와 전자연동장치간 정보전송방식(Protocol)', 철도청, 2002 |
2 | NF F72-010(Norm de French), 'Procedure for Transmission of Bi-directional Serial Asynchronous Point-to-point: French Railway Protocol', SNCF, French, 1991 |
3 | D. Kozen, 'Results on the Propositional Mu-calculus, Theoretical Computer Science', 27:333-354, 1983 DOI ScienceOn |
4 | 황종규, 이재호, '전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석', 한국철도학회 논문지, 제6권 제2호, pp.135-141, 6. 2003 |
5 | R. Cleaveland, 'Tableau-Based Model-checking in the Propositional Mu calculus', Acta Informatica 27:725-727, 1990 |
6 | D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocol', Ph.D Thesis, Univ. of California LosAngeles, Apr., 1981 |
7 | G7 고속전철기술개발사업 연구보고서, '전기신호시스템 엔지니어링 기술개발', 한국철도기술연구원, 1999. 10 |
8 | E. M. Clarke, E. A. Emerson and A. P. Sistla, 'Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications', ACM TOPLAS 8(2), 1986 |