基于有限状态机的联锁平台任务同步模型研究
何境泰
令晓明
何涛
1.兰州交通大学光电技术与智能控制教育部重点实验室 甘肃兰州7300702.兰州交通大学光电技术与智能控制教育部重点实验室 甘肃兰州7300703.兰州交通大学光电技术与智能控制教育部重点实验室 甘肃兰州730070
摘要：二乘二取二铁路计算机联锁系统中,两套4个CPU组成了容错计算结构,实现CPU之间的同步是基于表决的容错计算机系统的关键过程.因此,本文提出了一种基于有限状态机的主/备/从并行任务同步模型,用于准确描述系统中不同CPU对象的任务同步状态,为二乘二取二同步通信表决过程大规模复杂的逻辑和时序设计提供了方法学上的参考和简化.
关键词：计算机联锁有限状态机并行任务同步模型二乘二取二
资助基金：青年科技基金(1308RJYA096)甘肃省高等学校科研项目(2013A-050)甘肃省青年科技基金(145RJYA251)国家自然科学基金(2012033)
论文发表日期：2015-01-01
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：4( 79-82 )
英文信息