Word版本下载可任意编辑】 FPGA的模式可变的卫星数据存储器纠错系统 空间飞器在太空环境中面临的主要问题之一就是辐射太空中的各种高能粒子（包括高能质子、中子、α粒子、得离子等）具有很高的动能，通过时可能会影响半导体电路的逻辑状态，甚至对半导体材料造成损害单个高能粒子对电子器件功能产生的影响称之为单粒子效应其中，导致存储内容在'0'、'1'之间发生变化的单粒子翻转（SEU）问题特别受以关注 微小卫星的研发思路是周期短、成本低、技术新，因此大量采用市场上容易取得的商业级电子器件这些器件具有***度、低功耗、低成本、扩展性强等特点，但通常没有经过严格的抗辐射测试，也没有采用完善的抗辐射工艺解决微小卫星的抗辐射问题需要采取综合措施，包括整体防护、设计冗余等，而对具体数据存储器则通常采用编码、备份等方法利用信息冗余应对SEU现象与物理存储器件相配合，实现上述检错/纠错功能的电路就是微小卫星星载计算机系统的数据差错检测和纠正模块（Error Detection And Correction,EDAC） 1 汉明码与TMR方案比较 在微小卫星的EDAC模块设计中，经常采用编码（主要是汉明码）或三倍冗余判决（Triple Modular Redundancy,TMR）的方案。
下面分别说明这两种方案并加以比较 1.1 线性分组码 编码是在数据通信和数据存储领域广泛使用的检错/纠错方法 线性分组码是使用很广泛的差错控制编码，其信息位和监视位的关联由一组线性代数方程组表示n,k）线性分组码的编码就是建立由m(m=n-k)个生成冗余位的方程构成的方程组，并由此线性方程组转化为k×n的生成矩阵G编码时将信息位向量（k维）乘以生成矩阵G，即得到码字向量，见式（1） = ×Gk×n （1） 将式（1）表示的方程组作移位变换，可以得到由式（2）表示的形式，H称为监视矩阵解码时通过监视矩阵H与读出的码字向量C的乘积结果一校验子S来判断是否出错当读出的码字微量C乘上H后得到一个零向量，表示没有出错；否则表示码字在存储之后发生了变化，即有错误发生 S=Hm×n×T (2) 当码字中某位（单一位）发生错误时，会得到的非零校验子S向量，该向量只与码字出错位置的图样有关，而与码字C无关 汉明码是能纠正单个错误的线性分级其对应的G矩阵即为汉明码生成矩阵这种编码下，分组编码总长是2m-1位，信息位长度是2m-m-1位，即（2m-1,2m-m-1）汉明码。
2m-1，2m-m-1）汉明码是编码效率的纠单错线性分组码但考虑到一般计算机存储系统以字节为单位，而2m-m-1通常不是8的倍数，所以对汉明码加以扩展后，可以得到（12，8）、（22，16）等分组编码方案这些方案具有一些新的特点，例如一种（22，16）方案可以做到纠单错、检双错，称作汉明SEC-DED码还可以通过优选，得到监视矩阵H，使得运算电路为简单、快速 1.2 TMR TMR的原理是将同一份信息保存在三份物理存储空间中读取的时候比较三份内容，如果不完全相同，就取两个一致的值为直值在CPU通过总线向内存写入数据（WR有效）时，每一比特数据通过三态门同时写到三个对应的比特存储单元中当总线向内存请求数据（RD有效）时，三份同时存储的内容到达比较器，比较器逻辑按照前述规则输出数据内容及是否发生2/3判决的标记根据总线要求，多路开关可以将数据内容或者每3比特比较器的2/3判决标记输出到总线上，后者可供分析研究可靠性时使用 1.3 两种方案的比较 从存储空间的大小角度考虑，编码方案比冗余判决方案要节省大量的存储空间如果采用（22，16）汉明码，每1MB有效内存需要实际物理内存1.375MB。
而采用TMR方案则需要3MB实现物理内容 从系统的纠错可靠性角度考虑，首先假定内存的单粒子翻转事件（SEU）所发生的物理地址和时间都是均匀分布的设每一比特内存单元在单位时间内发生单粒子翻转的概率为σ则每m比特内存构造中v比特发生SEU的概率为： 采用（22，16）汉明码方案后，可以纠正每22比特内存行单元中的单比特错误对于一行22比特编码记录，不发生SEU以及只有一比特发生SEU的概率和，即为该行内存单元的可靠性因此，每22比特的行汉明码内存单元可靠性为： 每22比特行单元的有效容量是16位，即2个字节故对于有效大小为N字节的汉明码内存系统，由N/2个行单元构成其可靠性为： 而对于采用TMR的一行3比特的内存构造，可靠性为： 对于一个有效大小为N字节的TMR内存系统，由8N个3比特构造组成，可靠性为： 在实际航天应用中，通常10 -9>σ10 10bit-1·s -1取N=4×10 6(即4兆字节)，表1给出了σ取不同值时差错率（1-σ）的近似计算结果其中差错率之经τ=(1-ρham)/(1-ρTMR) 表1 实用参数下汉明码与TMR差率的近似比较 计算结果说明，在前述参数范围内，汉明码纠错的差错率约是TMR的5倍。
而且，两种系统的差错率都与σ的平方近似成正比可见即使采取内存纠错，设法降低σ仍是根据提高系统可靠性的主要措施 系统的时序性能是考虑的另一个关键因素尤其是在高达几十兆赫的内存总线上，编解码运算较为繁琐的汉明码方案有着相当的局限性而TMR方案只需开展简单的2/3判决，通常更能胜任苛刻的内存访问时间要求 2 可变方案配置 从上述比较可以看出，两种方案各有优势，适合在不同的环境条件和数据安全需求下应用而星载计算机的通用性也要求数据存储器具有一定程度的灵活性在综合上述两种方案的根底，结合目前飞速发展的现场可编程逻辑门阵列（FPGA）技术，提供了一种可以根据需要改变配置，分别实现上述两种EDAC方法的数据存储器方案 2.1 可变内存配置 前述两种EDAC方法对于内存的配置是不同的22，16）汉明码一般采用16bit+8bit的内存芯片器件实现而TMR则采用3×16bit的芯片实现若要支持两种方法，必须为存储器设计一种特别的内存配置方式这是模式可变的根底和关键图1为可变内存配置方案 这个数据存储系统是由3个位于同一条地址总线上的16bit内存模块组成每个内存模块还可以单独片选其高字节或低字节。
这样通过片选信号ah、al、bh、bl、ch、cl的控制，实际上有6个宽度为8bit的内存模块可以单独访问48bit(3×16bit)的数据线全部接入EDAC控制模块当系统工作在TMR模式时，ah、al、bh、bl、ch、cl被相同的片选信号驱动这样就构成了TMR需要的一个3×16bit冗余内存空间当系统工作在汉明码模式时，ah，al、bh一组，bl、ch、cl一组，分别被相同的片选信号驱动，构成了两个独立的16+8bit存储空间对于（22，16）汉明码，每一个空间实际使用增加一倍另外，系统还可以工作在无差错控制模式下这时，ah、al一组，bh、bl一组，ch、cl一组，分别被相同的片选信号驱动，构成了三个独立的16bit存储空间这种配置下的内存地址空间比TMR模式下增加两倍在这些配置模式中，片选的地址译码都在EDAC控制模式中完成 2.2 可变纠错方案的系统构造 一个基于上述内存配置方案的模式可变数据存储系统以一个RAM芯片组作为内存载体可变纠错方案的系统构造见图2除了内存模块外，还应该包含以下功能模块： （1）TMR读写取判决模块TMR工作模式下，完成读取和写入操作中的冗余判决和数据分配逻辑。
这个模块的具体设计已经在1.2节中详细介绍了 （2）汉明码编码模块汉明码工作模式下，在向内存写入数据时完成编码运算 （3）汉明码纠错模块汉明码工作模式下，在从内存读出数据时完成检错和纠错运算2）、（3）这两个模块的算法原理采用了1.1节中介绍的方案 （4）地址逻辑模块和模式控制模块配合各种工作模式，控制相应的模块工作信号和相应的内存片选信号，完成附加地址译码，正确访问RAM崆，实现对物理内存的分配管理 为此，采用FPGA设计了EDAC专用芯片，实现了这些模块，并与内存模块相连接，组成了完整的纠错模式可变的数据存储系统在这个系统中，完成写入操作时，总线数据通过EDAC-FPGA以合适的形式存入RAM芯片组；完成读出操作时，EDAC-FPGA将RAM芯片组的内容读出并处理（解码或判决）后放在系统总线上 2.3 可变方案配置的特点 根据不同任务的具体特点，卫星数据处理系统对于内存的数量和质量的要求也有所不同例如在处理上传指令和星上仪器状态时，要求数据有很高的可靠性，而对于内存容量则没有特点的要求；而在处理某些用途的遥测图像数据时，需要较大的内存容量，而对可靠性的要求则相应较低。
传统的内存配置在硬件完成后很难更改如果完全基于软件纠错也能实现相当程度的灵活性，但软件纠错带给CPU的大量运算负荷使得这种灵活性有些得不偿失 可变纠错方案与无纠错机制的内存系统相比，仅仅在硬件上增加了一块FPGA，对于软件则是完全透明的而且，在星载数据处理系统中往往还有其他需要使用FPGA的场合，这块FPGA的内容完全可以通过综合设计，整合到其他诸如总线逻辑之类的FPGA之中 此外，由于在多种配置模式下一部分物理内存的内容意义是一致的，因此如果辅之以软件的配合，将关键代码、数据段置于该段内存之中，就可以实现在不重新启动计算机系统的前提下更改内存纠错方案配置，完成模式切换，保证某些关键任务不中断 总之，基于FPGA实现的硬件可变配置方案以的硬件、软件代介，提供了的内存配置灵活性，充分满足了各种需求，而且节约了RAM的硬件资源和功耗 3 硬件实现 3.1 FPGA的编程与实现 通过对目前广泛使用的FPGA器件的分析和比较，选择使用了具有较高性价比的Xilinx Spartan系列FPGA开展原型试验该系列产品还具有3.3V电源供给兼容5V I/O、休眠状态、更快的逻辑速度等特点。
为防止FPGA本身受单粒子翻转效应影响，在实际的航天任务中，将采用基于熔丝技术的Actel公司的FPGA产品 本应用具有很强的模块性，笔者采用了标准VHDL语言描述，构造清晰，同时为将来的移植提供了方便模块的划分基于图2的思想，又同时考虑到VHDL模块的习惯要求以及实践中可综合性和方便性在具体的VHDL实现过程中，该系统由五种VHDL实体（entity）模块组成： （1）3bitcomp:TMR的比特逻辑单元，实际比特级的信息备份和纠错判决； （2）tmr:TMR功能模块，包括16个3bitcomp实体（对应16位总线）； （3）hamming：汉明码编码/纠错功能模块； （4）hammeminf：hamming实体的22位内存接口与48位内存数据线之间的转换接口； （5）EDAC：层实体，包括以上4种实体和必需的逻辑控制、数据接口等 它们的关系如图3所示 系统使用了Active-HDL软件开展功能仿真，综合与实现都使用了Xilinx提供的Foundation系列软件在RTL综合过程中生成的电路图上注意到，使用VHDL描述双向三态门的必须保证所有条件下都指出明确的状态，否则在RTL综合后的逻辑电路不能实现双向三态的功能。
3.2 时序特性 时序特性是内存系统的关键指。