一种基于形式化语言的铁路区间闭塞安全功能实现方法

摘要

本发明提出了一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。所述铁路站间闭塞联锁逻辑实现方法能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：基于形式化语言的半自动闭塞逻辑实现、区间使用计轴设备的自动站间闭塞逻辑实现、主备冗余模块的实时同步逻辑实现和站间联系方式。本发明基于形式化语言描述系统状态，并根据条件触发状态跳转的铁路信号区间闭塞逻辑实现方法，这种方法能简化逻辑实现的复杂度，降低软件变量之间的耦合度，逻辑结构清晰，便于设计和后期修改。