论文部分内容阅读
可定制嵌入式计算机具有可裁剪、体系结构灵活、便于加固等优点,其价值逐渐受到工业、军事、航天等领域的重视。本文在深入分析国内外研究现状的基础上,围绕着可定制嵌入式计算机设计的关键技术问题开展研究,主要工作体现在以下几个方面: 1.可定制嵌入式计算机体系结构分析 研究嵌入式计算机体系结构设计方法,从处理器、存储和总线三方面分析影响计算机性能的因素。采用MiBench嵌入式基准程序对微处理器功能部件、Cache性能和总线性能进行量化分析,为可定制嵌入式计算机设计提供依据。可定制嵌入式计算机主要基于可编程器件实现,为此分析了软核处理器的性能与特点,讨论了可重用IP核的设计方法与实现手段,研究了可编程芯片结构特性以及相应的容错技术。 2.可编程芯片加固技术研究 针对可定制嵌入式计算机空间应用中的SEU缓解问题,选取一种结构层次清晰的FPGA简化模型,基于该模型,结合无关配置位的统计方法,提出了一种FPGA选择性三模冗余加固方法DC_STMR。实验结果表明,与全三模冗余相比DC STMR可节省30%的硬件开销,并保证了一定的可靠性,取得了可靠性与开销之间的平衡。 根据电路故障的可控性,提出了一种利用与或逻辑做表决器的FPGA选择性双模冗余故障屏蔽方法DAO。提出了一种FPGA应用电路的故障可控性、可观测性计算方法,以此为依据可计算电路中查找表的故障敏感性,根据故障敏感性判断查找表是否需要冗余以及冗余后的表决方式。DAO方法可根据参数设计1~2倍于原始电路硬件开销的加固电路。 将DAO方法与选择性三模冗余相结合,得到一种FPGA组合加固方法DAT。DAT方法可根据参数设计2~3倍于原始电路开销的加固电路,也可根据对电路可靠性的具体要求制定开销比例。实验结果表明,DAT方法能在DAO的基础上进一步提高电路可靠性。 提出了一种利用FPGA中闲置的进位链逻辑与多路器资源设计双模冗余与三模冗余表决器的方法,使得表决器的插入不会对电路引入额外的硬件开销,从而可以实现低开销的细粒度FPGA冗余设计。根据对可编程器件结构的分析,利用FPGA原语设计了基于故障注入的加固效果验证方法,证明了本文所提出加固方法的实际可行性与有效性。 3.基于可定制技术的星载图像处理机设计 在深入研究可定制嵌入式计算机体系结构和加固技术的基础上,根据对地观测卫星的特点,结合空间图像处理需求,设计了一种基于FPGA和DSP的可定制嵌入式计算机系统。该系统具有结构灵活性强、空间环境下可靠的优点。