-
公开(公告)号:CN104484237A
公开(公告)日:2015-04-01
申请号:CN201410771360.1
申请日:2014-12-12
Applicant: 北京控制工程研究所
Abstract: 本发明提供一种三机热备份计算机看门狗复位实现方法及三机热备份计算机看门狗复位电路。本发明的三机热备份计算机看门狗复位实现方法包括:S1、设置两份双模热备份的看门狗电路,分别为主份看门狗电路和备份看门狗电路;S2、设置复位电路;S3、主份看门狗电路输出的狗咬信号与备份看门狗电路输出的狗咬信号经过“与”门进行逻辑“与”处理后输出给复位电路;S4、复位电路在接受到两份看门狗电路均输出狗咬信号之后向三机热备份计算机输出看门狗复位信号。本发明中各单机独立输出两份看门狗清狗信号,分别独立送两份看门狗电路,只有当两份看门狗电路均要进行狗咬复位时,才能实现对三机的看门狗复位,提高三机可靠性。
-
公开(公告)号:CN103677080A
公开(公告)日:2014-03-26
申请号:CN201310646792.5
申请日:2013-12-04
Applicant: 北京控制工程研究所
IPC: G06F1/12
Abstract: 本发明针对空间计算机三机热备份设计的系统同步问题,提出了一种三机热备份的时间同步方法。该方法首先细化三机各自的硬件时钟分辨率,而后在系统运行时利用三机共有的同步信号以及三机各自的硬件时钟信息进行GNC星时的获取,此外设计策略控制三机硬件差异所造成的三机小尺度GNC星时发散问题,保证了GNC星时与数管星时同步。本发明不需要系统硬件为三机提供高精度的时钟信息,减少了应用软件对硬件环境的依赖。我国探月二期GNC系统主控计算机采用了该发明,从而在不做任何硬件改动的情况下,实现了三机星时同步误差在100微秒以下,满足了任务需求。
-
公开(公告)号:CN104579313B
公开(公告)日:2018-07-24
申请号:CN201410841843.4
申请日:2014-12-30
Applicant: 北京控制工程研究所
IPC: H03K19/177
Abstract: 本发明涉及一种基于配置帧的在轨SRAM型FPGA故障检测与修复方法,通过故障检测与修复系统实现,故障检测与修复系统包括主处理模块、配置帧回读模块、故障检测模块和配置帧纠错与恢复模块,本发明通过在高可靠芯片上实现的故障检测与修复系统,实现对SRAM型FPGA内部配置信息进行按帧的回读、校验及回写或改写,实现了配置信息帧级别的故障检测和修复,极大提高了FPGA因空间环境单粒子效应所引发的配置信息翻转问题的检测率和修复能力,为SRAM型FPGA提供了一种实现方式简单、资源消耗率低、无需软件支持的通用可靠性设计方法。
-
公开(公告)号:CN104484237B
公开(公告)日:2017-06-27
申请号:CN201410771360.1
申请日:2014-12-12
Applicant: 北京控制工程研究所
Abstract: 本发明提供一种三机热备份计算机看门狗复位实现方法及三机热备份计算机看门狗复位电路。本发明的三机热备份计算机看门狗复位实现方法包括:S1、设置两份双模热备份的看门狗电路,分别为主份看门狗电路和备份看门狗电路;S2、设置复位电路;S3、主份看门狗电路输出的狗咬信号与备份看门狗电路输出的狗咬信号经过“与”门进行逻辑“与”处理后输出给复位电路;S4、复位电路在接受到两份看门狗电路均输出狗咬信号之后向三机热备份计算机输出看门狗复位信号。本发明中各单机独立输出两份看门狗清狗信号,分别独立送两份看门狗电路,只有当两份看门狗电路均要进行狗咬复位时,才能实现对三机的看门狗复位,提高三机可靠性。
-
公开(公告)号:CN103684734B
公开(公告)日:2017-03-15
申请号:CN201310557197.4
申请日:2013-11-11
Applicant: 北京控制工程研究所
IPC: H04L7/00
Abstract: 本发明公开了一种热备份冗余计算机时间同步系统及方法,包括时间监测模块,主时间戳通信计算模块和从时间戳通信计算模块;主计算机向从计算机发送同步报文,同步报文中包括发送时间T1;通过时间监测模块监测所述发送时间T1是否正确;当发送时间正确时,从计算机接收到所述同步报文,记录下收到该同步报文的时间Ti后,同时向主计算机发送应答报文;主计算机记录接收到所述应答报文的时间Ti’,并将该时间Ti’发送至从计算机;从计算机根据T1、Ti和Ti’计算时间偏差;从计算机根据所述时间偏差对本地时间进行校正;当发送时间不正确时,将当前的主计算机切换为从计算机,其它计算机切换为主计算机切换。本发明实现简单,减少了外部独立冗余校时硬件开销。
-
公开(公告)号:CN104657238B
公开(公告)日:2016-09-21
申请号:CN201510070076.6
申请日:2015-02-10
Applicant: 北京控制工程研究所
IPC: G06F11/16
Abstract: 本发明一种基于阵列结构的可重构容错方法,步骤如下:(1)采用硬件描述语言生成一个基于阵列结构的可重构模型,包括N×N节点阵列结构和节点间互联关系,以及与节点连接的功能模块;(2)以FPGA为载体生成可重构阵列模型的硬件电路,该电路能够通过I/O接口被处理器访问和操作;(3)构建可重构阵列模型中N×N个节点之间的通信协议;(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。
-
公开(公告)号:CN104461764B
公开(公告)日:2015-12-30
申请号:CN201410782611.6
申请日:2014-12-16
Applicant: 北京控制工程研究所
IPC: G06F11/10
Abstract: 本发明提供一种内置CRC校验码的FPGA配置文件生成方法,该方法包括如下步骤:以EDA工具生成的FPGA配置文件为基础,按照特征值读取配置文件中所包含的FPGA配置信息,并按帧计算其对应的CRC校验码;在配置文件中搜索空白区域;将计算得到的配置帧CRC校验码写入搜索得到的空白区即可完成内置CRC校验码的FPGA配置文件生成,本发明能充分利用原始FPGA配置文件中的空闲资源,在不带来额外软硬件开销的基础下实现FPGA校验信息和配置信息的同时同地存储,并且计算过程不依赖于特定的FPGA芯片物理结构,便于硬件资源有限的平台实现FPGA配置信息回读校验达成系统容错目的,具有广泛的应用前景。
-
公开(公告)号:CN104484238A
公开(公告)日:2015-04-01
申请号:CN201410783776.5
申请日:2014-12-16
Applicant: 北京控制工程研究所
IPC: G06F11/10
Abstract: 一种用于SRAM型FPGA配置刷新的CRC校验方法,通过对SRAM型FPGA配置文件格式、存储形式和故障模式的研究,采用对SRAM型FPGA回读配置帧实时计算与PROM内预先存储的CRC校验码比对的方式,提出并实现了一种用于SRAM型FPGA配置刷新的CRC校验方法。本发明方法采用CRC校验码的形式,实现了FPGA配置信息校验的器件无关性,同时设置了使能标志和获取标志,实现了不同速率、大数据量校验的应用需求,在回读过程中实时完成回读数据的CRC校验,达到了节省存储资源与处理时间的目的。另外本发明方法使用的基于查表的字节型CRC算法,进行资源独立划分和管理,快速高效,提升了运算速度和工作频率。
-
公开(公告)号:CN103473156A
公开(公告)日:2013-12-25
申请号:CN201310439356.0
申请日:2013-09-24
Applicant: 北京控制工程研究所
Abstract: 一种基于实时操作系统的星载计算机三机热备份容错方法,首先构建三台装有相同实时操作系统的计算机。在每个控制周期中,每台单机都通过三机之间的数据交换获取另外两机的数据。然后按照本机和另一机、本机和第三机、另一机和第三机共三种情况进行比较。再根据数据比对结果是否一致,结合单机是否发生过复位、“切机命令字”是否有效等因素,设置本机是否健康的标志。三台单机同步运行,三机的对外输出控制状态相同,由当班机负责最终的对外输出。在故障处理时,由于三台单机均同步运行,当班机切换时不需要再获取状态,所以故障恢复时间短,实时性高,在切换过程中系统控制不存在间隙,系统控制可以平稳过渡,实现了系统的自主重构。
-
公开(公告)号:CN113859583B
公开(公告)日:2023-07-14
申请号:CN202111094514.4
申请日:2021-09-17
Applicant: 北京控制工程研究所
Abstract: 一种用于火星着陆过程的高容错火工品控制方法,针对火星大气进入着陆过程的大动态、强冲击环境以及严格时序要求,在总线通信方式触发的基础上,提出采用星载计算机硬线直接控制火工品和通过总线消息通知接口控制单元控制火工品的双重冗余火工品控制方法,保证正常情况下星载计算机和接口控制单元都可以按先后时序逻辑及时发出火工品控制指令,从而实现了火工品相关指令的双重冗余控制逻辑,并通过对星载计算机时序测试口的组合触发使用,实现对火工品指令的测试验证。
-
-
-
-
-
-
-
-
-