技术编号：35377065
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。.本发明涉及计算机软件技术领域，具体涉及一种铁路车站计算机联锁系统的形式化验证方法、装置及计算机设备。背景技术.铁路车站计算机联锁系统是确保列车运行安全的重要信号设备，其核心为联锁关系控制逻辑。联锁关系主要包括道岔与进路之间、道岔与信号机之间、进路与信号机之间、信号机与信号机之间的联锁关系，其中信号机直接指示列车运行，是其中的最关键元素。联锁系统的开发过程中一般采用测试、代码走查等方法来验证联锁逻辑的正确性，但是随着系统复杂程度的不断增加，系统状态空间成指数级增大，采用传统验证方法工作量巨大...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。