-
公开(公告)号：CN105068931B
公开(公告)日：2020-07-14
申请号：CN201510518615.8
申请日：2015-08-21
Applicant: 西安空间无线电技术研究所
IPC: G06F11/36
Abstract: 一种分析DSP软件系统的单粒子软错误可靠性计算方法，利用DSP软件系统的模块划分和模块的拓扑关系的结果，使用深度优先搜索寻找模块拓扑关系中起始模块和终止模块之间的所有路径，并使用重要性抽样的方法抽取若干路径，求取DSP软件系统的单粒子软错误可靠性。本发明对工程文件采用基于模块划分并搜索路径的方法，解决了单粒子效应下DSP系统输出正确结果的概率计算问题，利用重要性抽样方法选取部分路径路径，对整体贡献大的路径赋予更大的重要性权值，在更大的重要性权值部分抽取更多的路径样本，抑制了小权值路径对系统的影响，增加了计算效率，并且抽取的样本均值为总体均值的无偏估计，使得计算结果更为可靠。
-
公开(公告)号：CN111221670A
公开(公告)日：2020-06-02
申请号：CN201911001645.6
申请日：2019-10-21
Applicant: 西安空间无线电技术研究所
IPC: G06F11/07
Abstract: 本发明涉及一种缓解检测冲突的单粒子软错误防护设计方法：(1)将待处理程序系统划分成模块节点，确定状态跳转无向连通图；(2)设置前驱节点的对等标签存储位，根据预先设置的规则，利用对等标签区分后继节点存在的状态跳转命名冲突；(3)确定状态跳转无向连通图中的长、圈以及对应的模块节点；(4)根据圈中模块节点数目的奇偶性结合图论定义，确定产生对等标签分配互斥情况的圈，并在该圈内，任选一个节点在其与前驱模块节点之间插入与功能无关的模块节点，形成迹并得到新的状态跳转无向连通图；(5)重构状态跳转执行流图；(6)通过插入比较检测错误指令的方式进行状态跳转错误检测，对发生状态跳转故障的模块节点进行故障恢复。
-
公开(公告)号：CN107918097B
公开(公告)日：2020-03-24
申请号：CN201710984897.X
申请日：2017-10-20
Applicant: 西安空间无线电技术研究所
IPC: G01R31/3185 , G01J5/22
Abstract: 一种实现可变LET值的系统功能中断截面自适应拟合方法，包括在饱和LET阈值范围内，对电路内部电路模块防护设计架构下的任意LET值系统功能中断截面拟合以及针对系统级防护架构下的定点LET值系统功能中断截面拟合两部分；两部分内容均利用已知试验数据，在饱和LET阈值内，拟合得到指定LET值下的系统功能中断截面值，减少通过单粒子辐照试验获取数据的依赖性，可缓解试验机时供需紧张问题，优化了单粒子试验过程，提升了系统抗SEU评估效率。
-
公开(公告)号：CN104572103B
公开(公告)日：2017-07-11
申请号：CN201510009091.X
申请日：2015-01-08
Applicant: 西安空间无线电技术研究所 , 西安电子科技大学
Abstract: 本发明提供了一种基于分布函数的最坏执行时间WCET快速估计方法，通过对DSP工程目标代码(out文件)进行反汇编获得反汇编文件F；分析反汇编文件F，获取划分的各个基本块，得到程序的基本块集合B；辨识基本块集合B中各基本块之间的关系，构建程序流图C；计算每个基本块的执行时间T；将基本块执行时间T和基本块执行次数Ts作为权值得到加权的程序流图Cw；分析加权的程序流图Cw，获得总权值最大的路径，将最大的总权值作为程序最坏执行时间WCET。解决了现有技术中需运行程序得到测试样本的弊端和人工干预过多的问题以及传统PERT技术中贝塔分布参数估计方法的不合理性问题。
-
公开(公告)号：CN104598352B
公开(公告)日：2017-01-11
申请号：CN201510012002.7
申请日：2015-01-08
Applicant: 西安空间无线电技术研究所 , 西安电子科技大学
IPC: G06F11/26
Abstract: 本发明具体提供了一种用于SRAM型FPGA的快速可靠性评估方法，包括步骤：1)将待处理的VHD源程序按照VHDL硬件语言的设计规则所确定的模块划分准则划分成L个模块；2)结合硬件设计工具ISE，对该L个模块依次进行综合、映射、布局布线及生成XDL文件操作；3)用概率分析法，粗算得到各模块的软错误率并将其添加到粗算集合C1；4)对C1采用最大类间方差算法OSTU选取阈值δ；将软错误率大于δ的模块添加到细算集合C2中；5)对细算集合C2中各模块分别采用蒙特卡洛法进行软错误率SER的精确计算，并将结果从大到小保存于防护集合S中。本发明在保证计算精度的同时，能够尽可能的减少在SRAM型FPGA的可靠性评估过程中的计算时间。
-
Patent Agency Ranking
公开(公告)号：CN104143116A
公开(公告)日：2014-11-12
申请号：CN201410352613.1
申请日：2014-07-23
Applicant: 西安空间无线电技术研究所
Abstract: 本发明一种基于粒子群算法的系统软防护组合优化方法包括以下步骤：按照系统功能将DSP、FPGA系统划分为N个功能模块；利用划分出的各功能模块，构造建立系统防护组合优化模型所需数据；根据划分出的功能模块以及得到的各功能模块的相关数据，建立系统防护组合优化模型；利用离散多目标粒子群算法对建立的系统防护组合优化模型进行求解，得到系统防护组合的一组最优解。本发明从系统角度对防护效果、防护代价进行了评估，以及对系统不同部位防护方法选择进行了优化，同可以用于指导DSP、FPGA系统中功能模块防护方法选择。
-
公开(公告)号：CN106407285B
公开(公告)日：2019-11-29
申请号：CN201610752157.9
申请日：2016-08-26
Applicant: 西安空间无线电技术研究所
IPC: G06F16/174
Abstract: 一种基于RLE和LZW的优化比特文件压缩与解压缩方法，通过对FPGA配置比特文件进行数据格式分析，抠出比特文件的头部控制字，从真实配置数据开始，采用游长为4的RLE编码进行初步压缩，再进行LZW压缩进一步提升压缩率。解压缩时为压缩的逆过程，先进行LZW解压缩还原出中间数据，再对不包含头部控制字的数据部分进行RLE解压缩，还原出原始的FPGA配置比特文件。该方法综合考虑了压缩/解压缩的时间和压缩率，与Xilinx自带的压缩工具比较，与单纯应用RLE算法，单纯应用LZW算法比较，实现了压缩率与压缩速度的双赢。解决了Xilinx先进型号FPGA配置比特文件过大的问题，节省了存储芯片的开销，为FPGA在轨重构技术提供了关键技术支撑。
-
公开(公告)号：CN103955448B
公开(公告)日：2017-08-29
申请号：CN201410217007.9
申请日：2014-05-21
Applicant: 西安空间无线电技术研究所
IPC: G06F17/14
Abstract: 本发明一种抗单粒子翻转的FFT加固设计方法，包括以下步骤：分析FFT算法及电路结构，对电路中旋转因子存储所需的ROM采用RAM结构进行实现，对RAM的数据和地址进行反馈式的三模冗余加固；对电路中的存储最终结果并实现倒位序的RAM进行加固，将RAM数据和地址分别加固，对地址寄存器和数据分别采用反馈式的三模冗余和三模冗余进行加固；对ROM中查找旋转因子的关键寄存器进行反馈式三模冗余加固。本发明提高了FFT电路在空间环境中的可靠性，增加了FFT电路在抗单粒子翻转方面的能力，在加固设计方面具有一定的灵活性，为设备提供抗单粒子能力更强的FFT电路设计，可迅速应用到星载处理设备的研制中。
-
公开(公告)号：CN119271446A
公开(公告)日：2025-01-07
申请号：CN202411385797.1
申请日：2024-09-30
Applicant: 西安空间无线电技术研究所
Abstract: 本发明涉及一种基于动态指令流的高效多核处理器故障注入方法，该方法基于程序动态指令级执行划分的细粒度时间执行注入，通过对单粒子辐照效应敏感的指令特征寄存器的故障注入，模拟多核处理器不同功能资源受到空间辐照效应的影响，达到快速、高效评估系统可靠性设计目的，减少了对单粒子试验的依赖，实现了精度可控的注入时机，提升故障注入的准确率进和系统抗SEU评估效率。
-
公开(公告)号：CN117472676A
公开(公告)日：2024-01-30
申请号：CN202311394710.2
申请日：2023-10-25
Applicant: 西安空间无线电技术研究所
IPC: G06F11/26 , G06F11/263
Abstract: 本发明涉及一种面向嵌入式处理器的高效寄存器故障注入方法，包括：对处理器指令集的指令结构进行解析，提取与寄存器操作相关的指令；将寄存器操作相关的指令按照注入时序进行分类，构造指令与注入时序之间的树图结构，获得寄存器操作相关的指令集的故障注入模型；获取用户程序指令，根据故障注入模型构造适配用户程序的寄存器故障注入向量；在程序执行到该指令时，根据故障注入向量执行故障注入。本发明实现了精准的注入时机，能够对硬件资源受到辐照影响发生翻转时的真实情况进行更为精确的模拟，从而提高注入效率；同时本发明可以用于单粒子翻转的防护方案设计验证等应用场合。
-
-
-
-
-
-
-
-
-
Search Results
28
records
(took 0.031 seconds)
