摘要：星载嵌入式容错计算机的可靠运行在很大程度上依赖于系统中存储模块的可靠设计。本文针对空间环境的故障形式 ,提出了采用EDAC (纠检错设计 )技术对哈工大研制的TS 1 1小卫星存储模块进行设计的方法 ;介绍了利用纠检错处理芯片进行的对EDAC控制电路的优化设计 ,并可靠地实现了应用于TS 1 1卫星系统中的存储模块容错设计。

摘要：基于逻辑内建自测试的设计原理,提出了一种针对纠检错电路进行功能自测试的方法,根据纠检错电路具有固定纠检错能力的特点,无需存储海量的比较数据,也不需要设计响应特征分析器对结果数据进行压缩处理,针对具体的纠检错电路,通过增加特别设计的注错逻辑可实现任意类型的故障注入,并根据注错信息可对结果进行预测,通过与预期结果比较,可达到验证的目的;最后,以(40,32)海明编码与解码电路为例,实现了其功能自测试结构,并对所有240-1种故障进行了注入与验证;结果表明使用本文的验证方法,可实现纠检错电路的自动化随机验证。