二元BCH码译码器伴随式矩阵检错算法的优化与检错器的设计

根据译码器接受码字的伴随式来构造伴随式矩阵,利用伴随式矩阵的可逆性来检错接受码字的实际错误个数λ,使得实际中当接受码字有λ(λ≤t)比特出错时,译码时只需迭代2λ次就可以得到错位多项式,这样对于每一个码字可以减少迭代次数2(t-λ),而对于一段消息来说,大大地减少了迭代次数。这里通过对二元BCH译码器伴随式矩阵检错算法的优化,在译码器中增加一个检错模块用于检错通信信号中的实际错误比特数,可以大幅减少译码的迭代次数,提高译码速度,提高通信质量和效率。

改进型纠检错校验算法在星载计算机上的应用

纠检错算法是星载计算机抗单粒子翻转事件的有效策略。随着FPGA在航天领域的广泛应用,纠检错算法已成为实现纠检错功能的最佳硬件手段。针对单粒子多位翻转事件的发生,文中提出一种纠检错能力更强、耗时更短且具备数据回写功能的改进型纠检错算法。该算法采用一种(48,32,6)的线性循环缩短码,通过16位校验位对32位数据位进行纠二检三校验。在星载嵌入式高可靠计算机上进行算法验证,实验结果表明,所提算法能够成功实现纠二检三和数据回写的功能,且耗时仅需两个时钟周期。该算法满足实时性系统的要求,可以有效防护单粒子翻转事件,提高星载计算机的可靠性。

基于表驱动的纯软件签名错误检测算法

针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID),用于存储控制流图的信息,通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转。对于CFDSS算法不能有效检测的共享分支扇入节点的非法指令跳转错误,可成功检测出这类错误。实验结果表明,EDSS算法的平均错误检测覆盖率比CFDSS算法高出1.3%,对具有共享分支扇入节点的检错能力平均高出约1.9%。

GCC编译器中间代码层控制流扩充研究

本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。