一种面向宇航芯片的寄存器单粒子效应模拟仿真方法

    公开(公告)号:CN109558649A

    公开(公告)日:2019-04-02

    申请号:CN201811327576.3

    申请日:2018-11-08

    Abstract: 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法,通过构建参数化的寄存器故障仿真模型,将芯片网表中的正常寄存器仿真模型随机替换为寄存器故障仿真模型,替换的数量由空间环境设置的宇航芯片的错误翻转率和芯片中寄存器的总数决定,寄存器的错误发生时间在0到最大仿真时间中随机选择,通过仿真工具模拟仿真故障模块行为,进而验证芯片级寄存器容错策略的有效性。本发明无需分析代码,也无需单独设计测试用例,既可以对单粒子效应软错误进行仿真,也可对高能单粒子效应形成的硬错误进行仿真。本发明的方法可以支持宇航辐射加固研究,可以应用于单粒子效应故障容错设计的验证分析。

    一种SRAM型FPGA的可靠性优化方法

    公开(公告)号:CN104579314A

    公开(公告)日:2015-04-29

    申请号:CN201410844496.0

    申请日:2014-12-30

    Abstract: 本发明提供一种针对SRAM型FPGA的可靠性优化方法,该方法包括如下步骤:以查找表LUT为单位,建立含有逻辑屏蔽效应的功能等价类;对网表中各查找表的可靠性进行评估;根据可靠性评估的结果,对于电路中输入地址线未完全使用的查找表,进行可靠性优化;对优化后的电路可靠性进行评估,计算优化效果;本发明充分利用FPGA电路中存在的空闲资源,在不带来额外面积开销的前提下有效提高电路可靠性,并且具有计算复杂度低,对电路性能影响小,不依赖于特定FPGA芯片物理结构,应用范围广等特点。

    一种三模冗余容错计算机控制周期同步装置

    公开(公告)号:CN102053883A

    公开(公告)日:2011-05-11

    申请号:CN201010611280.1

    申请日:2010-12-17

    Abstract: 一种三模冗余容错计算机控制周期同步装置,包括单机A、B、C、表决电路以及配置于A、B、C内的控制周期中断管理模块。单机A、B、C将各自的控制周期时钟同时输入到表决电路;表决电路利用其内部的表决单元和线与逻辑对输入的控制周期进行三选二表决,产生统一的控制周期时钟;单机A、B、C利用统一的控制周期时钟响应控制周期中断;控制周期中断管理模块在控制周期中断开始后关闭控制周期中断,并在经过一定延时候重新开启单机A、B、C的控制周期中断。本发明利用简单的电路设计方案,三模冗余容错计算机的高可靠性的控制周期同步控制,能容忍所有的单重故障模式,包括常0或常1故障,以及时钟漂移故障(包括高频振荡和频率变慢)。

    一种多核操作系统容错管理方法

    公开(公告)号:CN105204952B

    公开(公告)日:2018-03-09

    申请号:CN201510521047.7

    申请日:2015-08-21

    Abstract: 本发明提供一种多核操作系统容错管理方法,主要包括,构建n×n的核间故障检测矩阵,每个处理器核利用核间故障检测矩阵定期检测系统中其他处理器核是否发生故障;其中,每个处理器核的故障检测包括:在每个定时监测周期起始,各个处理器核在核间故障检测矩阵中各自对应的一列k中的元素设置为TRUE;在每个定时监测周期末尾,各个处理器核查看矩阵中各自对应的一行j中的元素,如果其中某一个元素ejk不为TRUE,则认为与该列对应的处理器核k可能发生了故障,最后将行j中的元素全部清零。本发明的系统每个处理器核均具备对处理器中其他核进行故障检测的能力,大大提高了系统容错能力。

    一种多核操作系统可重构容错启动方法

    公开(公告)号:CN104063295B

    公开(公告)日:2016-08-24

    申请号:CN201410295331.2

    申请日:2014-06-26

    Abstract: 一种多核操作系统可重构容错启动方法,设置同步信号为初始状态,设置自旋锁为未被占用;各处理器核完成初始化后,申请自旋锁;申请到自旋锁的处理器核进入核间互斥访问的临界区,其余处理器核阻塞在自旋锁上;第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号,并设置同步信号,然后释放自旋锁;后续申请到自旋锁的处理器核通过读取到的值得知自己为从核,且主核ID对应的处理器核为主核,释放自旋锁;主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核,使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行,提高了多核计算机的可靠性。

    一种用于三机变结构容错计算机系统管理方法

    公开(公告)号:CN102508746A

    公开(公告)日:2012-06-20

    申请号:CN201110364101.3

    申请日:2011-11-15

    Abstract: 本发明公开了一种用于三机变结构容错计算机系统管理方法,针对三机变结构容错计算机系统不同工作模式进行管理,包括热备份工作模式下的管理步骤、冷备份工作模式下的管理步骤和并机模式下的管理步骤。采用本方法实现的容错计算机可工作在热备份工作模式或冷备份工作模式下,并且可以从冷备份工作模式平滑的切换到热备份工作模式。可实现同时实现实时容错能力和长寿命容错控制能力。

    一种面向宇航芯片的寄存器单粒子效应模拟仿真方法

    公开(公告)号:CN109558649B

    公开(公告)日:2023-06-09

    申请号:CN201811327576.3

    申请日:2018-11-08

    Abstract: 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法,通过构建参数化的寄存器故障仿真模型,将芯片网表中的正常寄存器仿真模型随机替换为寄存器故障仿真模型,替换的数量由空间环境设置的宇航芯片的错误翻转率和芯片中寄存器的总数决定,寄存器的错误发生时间在0到最大仿真时间中随机选择,通过仿真工具模拟仿真故障模块行为,进而验证芯片级寄存器容错策略的有效性。本发明无需分析代码,也无需单独设计测试用例,既可以对单粒子效应软错误进行仿真,也可对高能单粒子效应形成的硬错误进行仿真。本发明的方法可以支持宇航辐射加固研究,可以应用于单粒子效应故障容错设计的验证分析。

Patent Agency Ranking