| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10340396 | Computer Standards & Interfaces | 2005 | 13 Pages |
Abstract
After designing new protocol for railway signaling, this paper analyzed the designed protocol's structure and performance through simulation. Also, as a very important part in the development of protocol, this paper specified the designed protocol in Labeled Transition System (LTS) with model check method, and verified safety and liveness proprieties of the designed protocol. Therefore, it is expected that the safety, reliability, and efficiency of maintenance for the railway signaling systems will be increased by using the newly designed communication protocol in Korea.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Jae-Ho Lee, Jong-Gyu Hwang, Gwi-Tae Park,