位置:成果数据库 > 期刊 > 期刊详情页
基于有限状态机的联锁平台任务同步模型研究
  • ISSN号:1672-9528
  • 期刊名称:《信息技术与信息化》
  • 时间:0
  • 分类:TP391[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]兰州交通大学光电技术与智能控制教育部重点实验室,甘肃兰州730070
  • 相关基金:青年科技基金计划项目(1308RJYA096):“铁路车站全电子分布式计算机联锁系统的研究”; 甘肃省高校科研项目(2013A-050)“铁路车站全电子分布式计算机联锁系统的研究”; 甘肃省青年科技基金计划项目(145RJYA251)“铁路车站联锁软件自动测试系统关键技术研究”; 兰州交通大学校青年基金项目(2012033)“车站联锁软件自动测试系统研究”
中文摘要:

二乘二取二铁路计算机联锁系统中,两套4个CPU组成了容错计算结构,实现CPU之间的同步是基于表决的容错计算机系统的关键过程。因此,本文提出了一种基于有限状态机的主/备/从并行任务同步模型,用于准确描述系统中不同CPU对象的任务同步状态,为二乘二取二同步通信表决过程大规模复杂的逻辑和时序设计提供了方法学上的参考和简化。

英文摘要:

The Double 2 vote 2 fault-tolerant architecture in railway computer interlocking system is composed of four individual CPU units. Synchronization between them is the key process in implementing fault-tolerant computer system base on voting. So this paper introduces master/slave/spare parallel task synchronization models based on finite state machine (FSM) for different CPU units. For accurately describing the task synchronization state of Each specific CPU . These models discussed paved another effective way to design logics and timing for double 2 vote 2 computer interlocking system.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《信息技术与信息化》
  • 主管单位:山东省经济和信息化委员会
  • 主办单位:山东电子学会
  • 主编:朱友芹
  • 地址:山东省济南市历下区趵突泉北路24号
  • 邮编:250011
  • 邮箱:xxjs-ed@sdie.org.cn
  • 电话:0531-88110998
  • 国际标准刊号:ISSN:1672-9528
  • 国内统一刊号:ISSN:37-1423/TN
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:4250