한국철도학회:학술대회논문집 (Proceedings of the KSR Conference)
- 한국철도학회 2006년도 추계학술대회 논문집
- /
- Pages.856-862
- /
- 2006
철도신호시스템 운용규정에 Formal Method의 적용
Formal Method for Operational Regulations to Railway Signalling System
- 발행 : 2006.11.09
초록
In railway signalling system, there are several kinds of signal system such as signals, signs, marker. The signals allows train to go or not, the signs permit to communicate between railway men, and the marks indicate status of railway lines. In KNR, the application of the signal systems are defined in railway operational regulations, operational related regulation, Operation safety critical system manipulation manual, and so on. In this paper, we extracted regulations for signalling system operation from related regulations, reviewed compatibility and contradiction for signalling system operations. We tried to check logical integrity of informal signalling operation regulation using formal method.
키워드