A fail-safe microprocessor-based system for interlocking on railways
Yinghua Min, Yutang Zhou, Zhongcheng Li, Cheng Ye · 2002
This paper presents a fail-safe microprocessor-based system for interlocking on railways, which is now installed at Pukou station near Nanjing. The system includes a basic interlocking system and a safety assurance system, taking advantage of completely diverse redundancy. By fault-tree analysis, the system guarantees fail-safety at the behavioral level, and lapses into a safe state, keeping switches stable and changing signals to red to avoid catastrophic failures, when any of the 30 critical conditions happens. Also, the system provides many error report and error log capabilities for maintainability.>