站间微机化自动闭塞系统双机冗余系统设计

摘要

根据站间自动闭塞系统的高可靠性要求,设计了闭塞机热备冗余方案;针对可能出现的双主机状态,研究了安全控制锁的原理与机制.为了解系统的转换性能,用Petri网对系统进行了建模与分析.分析结果表明,设计的结构与切换机制合理,系统中各状态转换安全、完整,不存在死锁状态.