Reliability verification of train control algorithm for Korean high-speed train

摘要

An OBCS(on-board control system) which controls an operation of high speed train is a distributed control system which centrally supervises and controls a distributed system of indepenent units. A complicated process of design, implementation and test is needed to develop this system. The OBCS and its control algorithm are designed and verified by using the CASE Tool before it is implemented. Its functions are veified by the OBCS simulator. Howereafter, this verification process for Korean high-sepeed trin being developed is presented.