利用fpga实现模式可变的卫星数据存储器纠错系统.docxVIP

利用FPG戒现模式可变的卫星数据 存储器纠错系统 摘要：比较讨论了航天器数据存储器中 汉明码和TM硒种典型系统的原理、 实现以 及数据可靠性的估计， 在此基础上提出了一 种集成这两种系统模式并可在实际应用中 根据需要切换模式的系统设计方案，探讨了 该系统的特点和优势，介绍了利用 FPG梭 现该系统的过程和经验。 关键词：单粒子翻转汉明码数据存储器 编码微小卫星 空间飞器在太空环境中面临的主要问题之 一就是辐射。太空中的各种高能粒子具有很 高的动能，通过时可能会影响半导体电路的 逻辑状态，甚至对半导体材料造成永久损害。 单个高能粒子对电子器件功能产生的影响 称之为单粒子效应。其中，导致存储内容在 0 、 ’1 之间发生变化的单粒子翻转问 题特别受以关注。 微小卫星的研发思路是周期短、成本低、技 术新，因此大量采用市场上容易取得的商业 级电子器件。这些器件具有高密度、低功耗、 低成本、扩展性强等特点，但通常没有经过 严格的抗辐射测试，也没有采用完善的抗辐 射工艺。解决微小卫星的抗辐射问题需要采 取综合措施，包括整体防护、设计冗余等， 而对具体数据存储器则通常采用编码、 备份 等方法利用信息冗余应对 SEU现象。与物理 存储器件相配合，实现上述检错/功能的电 路就是微小卫星星载计算机系统的数据差 错检测和纠正模块。 1汉明码与TM昉案比较 在微小卫星的EDAC莫块设计中，经常采用 编码或三倍冗余判决的方案。下面分别说明 这两种方案并加以比较。 线性分组码 编码是在数据通信和数据存储领域广泛使 用的检错/方法。 线性分组码是使用很广泛的差错控制编码， 其信息位和监督位的关联由一组线性代数 方程组表示。线性分组码的编码就是建立由 m(m=n-k)个生成冗余位的方程构成的方程 组，并由此线性方程组转化为 kXn的生成 矩阵G编码时将信息位向量乘以生成矩阵 G,即得到码字向量[Cn-1???C0],见式。 [Cn-1,Cn- 2, A ,Cn -k,Cm-1, A ,C0]=[Cn -1, Cn-2, A ,Cn - k] x Gkx n 将式表示的方程组作移位变换， 可以得到由 式表示的形式，H称为监督矩阵。解码时通 过监督矩阵H与读出的码字向量 C的乘积结 果一校验子S来判断是否出错。当读出的码 字微量C乘上H后得到一个零向量，表示没 有出错；否则表示码字在存储之后发生了变 化，即有错误发生。 S=Hm： nx [Cn -1, A ,C0]T (2) 当码字中某位发生错误时， 会得到唯一的非 零校验子S向量，该向量只与码字出错位置 的图样有关，而与码字 C无关。 汉明码是能纠正单个错误的线性分级。 其对 应的G矩阵即为汉明码生成矩阵。这种编码 下，分组编码总长是 2m-1位，信息位长度 是2m-m-1位，即汉明码。汉明码是编码效 率最高的纠单错线性分组码。但考虑到一般 计算机存储系统以字节为单位，而 2m-m-1 通常不是8的倍数，所以对汉明码加以扩展 后，可以得到、等分组编码方案。这些方案 具有一些新的特点，例如一种方案可以做到 纠单错、检双错，称作汉明 SEC-DE昭。还 可以通过优选，得到最佳监督矩阵 H,使得 运算电路最为简单、快速。 TMR TMR勺原理是将同一份信息保存在三份物理 存储空间中。读取的时候比较三份内容，如 果不完全相同，就取两个一致的值为直值。 在CPU通过总线向内存写入数据时， 每一比 特数据通过三态门同时写到三个对应的比 特存储单元中。当总线向内存请求数据时， 三份同时存储的内容到达比较器， 比较器逻 辑按照前述规则输出数据内容及是否发生 2/3判决的标记。根据总线要求，多路开关 可以将数据内容或者每 3比特比较器的2/3 判决标记输出到总线上，后者可供分析研究 可靠性时使用。 两种方案的比较 从存储空间的绝对大小角度考虑， 编码方案 比冗余判决方案要节省大量的存储空间。 如 果采用汉明码，每1MBW效内存需要实际物 理内存。而采用TM肪案则需要3MBg^现物 理内容。 从系统的可靠性角度考虑， 首先假定内存的 单粒子翻转事件所发生的物理地址和时间 都是均匀分布的。设每一比特内存单元在单 位时间内发生单粒子翻转的概率为 b。则每 m比特内存结构中v比特发生SEU的概率为 采用汉明码方案后，可以纠正每 22比特内 存行单元中的单比特错误。对于一行 22比 特编码记录，不发生SEU以及只有一比特发 生SEU的概率和，即为该行内存单元的可靠 性。因此，每22比特的行汉明码内存单元 可靠性为 每22比特行单元的有效容量是 16位，即2 个字节。故对于有效大小为 N字节的汉明码 内存系统，由N/2个行单元构成。其可靠性 为 而对于采用TMR勺一行3比特的内存结 构，可靠性为 对于一个有效大小为 N字节的TMFft存系