Title :
Distributed Interlocking System and Its Safety Verification
Author :
Hei, Xinhong ; Takahashi, Sei ; Nakamura, Hideo
Author_Institution :
Coll. of Sci. & Technol., Nihon Univ., Chiba
Abstract :
Computerized interlocking systems have been studied for many years. Available interlocking systems mainly are centralized control systems. The great progress of distributed control technology and intelligent terminals make it possible developing distribute interlocking system. In this research, a distributed interlocking system and its control logic are put forward. As the most important property of interlocking system, system logic safety has been verified by using Petri net. The result shows that the new interlocking system is safe and its logic is correct
Keywords :
Petri nets; computerised control; distributed control; formal logic; formal verification; rail traffic; railway safety; railways; transportation; Petri net; centralized control systems; computerized interlocking systems; control logic; distributed control; distributed interlocking system; formal methods; intelligent terminals; safety verification; system logic safety; Centralized control; Control systems; Costs; Distributed computing; Distributed control; Intelligent control; Logic design; Logic devices; Rail transportation; Safety; distributed interlocking systems; formal methods; petri net;
Conference_Titel :
Intelligent Control and Automation, 2006. WCICA 2006. The Sixth World Congress on
Conference_Location :
Dalian
Print_ISBN :
1-4244-0332-4
DOI :
10.1109/WCICA.2006.1713661
