-
公开(公告)号:CN108052420A
公开(公告)日:2018-05-18
申请号:CN201810015734.5
申请日:2018-01-08
Applicant: 哈尔滨工业大学
Abstract: 基于Zynq‑7000的双核ARM处理器抗单粒子翻转防护方法,属于处理器抗辐射加固领域。解决了双模冗余方法仅能实现故障检测,无法实现故障恢复,且现有的故障检测复杂的问题。本发明方法包括如下步骤:采用双核互检方法对双核所执行的程序进行错误检测,再对检测出的错误进行回卷恢复,实现错误的恢复。主要用于对双核所执行的程序进行错误检测及恢复。
-
公开(公告)号:CN108052420B
公开(公告)日:2021-11-02
申请号:CN201810015734.5
申请日:2018-01-08
Applicant: 哈尔滨工业大学
Abstract: 基于Zynq‑7000的双核ARM处理器抗单粒子翻转防护方法,属于处理器抗辐射加固领域。解决了双模冗余方法仅能实现故障检测,无法实现故障恢复,且现有的故障检测复杂的问题。本发明方法包括如下步骤:采用双核互检方法对双核所执行的程序进行错误检测,再对检测出的错误进行回卷恢复,实现错误的恢复。主要用于对双核所执行的程序进行错误检测及恢复。
-
公开(公告)号:CN107291570B
公开(公告)日:2020-01-07
申请号:CN201710485237.7
申请日:2017-06-23
Applicant: 哈尔滨工业大学
Abstract: 本发明涉及一种基于Zynq‑7000的片上存储器抗单粒子翻转防护方法,应用于Zynq‑7000SoC在空间环境下的存储器容错设计中,其目的是为了解决空间环境中单粒子翻转对Zynq‑7000芯片内部片上存储器的数据可靠性的影响,保障Zynq‑7000芯片内部双核处理器之间的正确通信。本发明结合Zynq‑7000芯片的资源特性,采用软件EDAC方法实现双核处理器与片上存储器之间通信的数据加固操作,采用软件中断方式实现单位错误和双位错误的状态标记以及单位错的双核同步回写操作,在ARM处理器中实现数据的纠一检二和数据回写功能,从而提高Zynq‑7000内片上存储器抗单粒子翻转能力,为Zynq‑7000SoC内双核处理器之间进行数据通信的可靠性提供一种重要手段。
-
公开(公告)号:CN106531224A
公开(公告)日:2017-03-22
申请号:CN201610939803.2
申请日:2016-10-25
Applicant: 哈尔滨工业大学
IPC: G11C29/42
CPC classification number: G11C29/42
Abstract: 一种基于SRAM型FPGA的RAM数据可靠性加固装置及方法,涉及一种基于SRAM型FPGA的片内或片外RAM存储器数据加固装置和方法。为了解决现有的存储器加固方法存在的抗辐射工艺加固费用高、存储器三模冗余硬件开销大、SRAM型FPGA设计的EDAC电路自身可靠性差等问题。本发明采用Hsiao码作为纠错码实现EDAC电路的编解码操作,能实现数据的纠一检二功能,采用缓存方式实现错误数据纠正后的回写,将处理器或外设访问双口RAM的写地址和写数据暂存于地址缓存和数据缓存中。本发明适用于SRAM型FPGA的RAM数据可靠性加固。
-
公开(公告)号:CN106531224B
公开(公告)日:2019-07-16
申请号:CN201610939803.2
申请日:2016-10-25
Applicant: 哈尔滨工业大学
IPC: G11C29/42
Abstract: 一种基于SRAM型FPGA的RAM数据可靠性加固装置及方法,涉及一种基于SRAM型FPGA的片内或片外RAM存储器数据加固装置和方法。为了解决现有的存储器加固方法存在的抗辐射工艺加固费用高、存储器三模冗余硬件开销大、SRAM型FPGA设计的EDAC电路自身可靠性差等问题。本发明采用Hsiao码作为纠错码实现EDAC电路的编解码操作,能实现数据的纠一检二功能,采用缓存方式实现错误数据纠正后的回写,将处理器或外设访问双口RAM的写地址和写数据暂存于地址缓存和数据缓存中。本发明适用于SRAM型FPGA的RAM数据可靠性加固。
-
公开(公告)号:CN107291570A
公开(公告)日:2017-10-24
申请号:CN201710485237.7
申请日:2017-06-23
Applicant: 哈尔滨工业大学
Abstract: 本发明涉及一种基于Zynq-7000的片上存储器抗单粒子翻转防护方法,应用于Zynq-7000SoC在空间环境下的存储器容错设计中,其目的是为了解决空间环境中单粒子翻转对Zynq-7000芯片内部片上存储器的数据可靠性的影响,保障Zynq-7000芯片内部双核处理器之间的正确通信。本发明结合Zynq-7000芯片的资源特性,采用软件EDAC方法实现双核处理器与片上存储器之间通信的数据加固操作,采用软件中断方式实现单位错误和双位错误的状态标记以及单位错的双核同步回写操作,在ARM处理器中实现数据的纠一检二和数据回写功能,从而提高Zynq-7000内片上存储器抗单粒子翻转能力,为Zynq-7000SoC内双核处理器之间进行数据通信的可靠性提供一种重要手段。
-
-
-
-
-