제어로봇시스템학회:학술대회논문집
- 제어로봇시스템학회 2004년도 ICCAS
- /
- Pages.354-357
- /
- 2004
Formal Verification Network-based Protocol for Railway Signaling Systems
- Hwang, Jong-Gyu (Korea Railroad Research Institute(KRRI)) ;
- Lee, Jae-Ho (Korea Railroad Research Institute(KRRI))
- 발행 : 2004.08.25
초록
According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than in the past. In this paper, new network-based protocol for Korean railway signaling has designed between CTC and SCADA system, and the overview of designed protocol is briefly represented. Using the informal method for specifying the communication protocol, a little ambiguity may be contained in the protocol. To clear the ambiguity contained in the designed protocol, we use LTS model to design the protocol for this interface link between CTC and SCADA, the LTS is an intermediate model for encoding the operational behavior of processes. And then, we verify automatically and formally the safety and the liveness properties through the model checking method. Especially, the modal
키워드