可定制嵌入式计算机加固技术研究

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:b278651776
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可定制嵌入式计算机具有可裁剪、体系结构灵活、便于加固等优点,其价值逐渐受到工业、军事、航天等领域的重视。本文在深入分析国内外研究现状的基础上,围绕着可定制嵌入式计算机设计的关键技术问题开展研究,主要工作体现在以下几个方面:  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的可定制嵌入式计算机系统。该系统具有结构灵活性强、空间环境下可靠的优点。
其他文献
基于质谱数据的蛋白质鉴定已经成为蛋白质组学的基础技术。规模化的蛋白质鉴定通常采用“鸟枪法”,其基本思路是将生物样品中的蛋白质酶切成肽段,经过色谱分离进入质谱仪,质
近年来,随着数据采集和处理等相关领域,比如金融,军事,财务,通讯等方面的发展,不确定性数据的重要性渐渐为人们所认同。   在不确定性数据的研究领域,所面对的挑战可归结为:需要
天线作为微波通信领域的基本的设备,凡是利用电磁波来进行信息的传递和接收的相关领域均是应用天线和天线的相关的技术来实施的,其被广泛的应用到电视广播,航天航空及遥感等实际
我国基础教育随着新课改的不断深入,教育信息化建设的重要性越显突出,国家、社会和地方政府对中小学教育信息化建设投入也在逐年攀升。但对于我国广袤的、经济相对落后的中西部
在日常生活中,我们身边充斥着流体现象。流体现象的模拟在影视特效、灾害预防等应用中具有极为重要的意义。因此近十年来,流体现象的模拟一直是计算机图形学领域中的热点问题。
目前,校园网系统中普遍以“用户名+静态密码”作为用户身份认证的方式,这种身份认证的方式存在着很大的安全风险,比如静态密码的泄露、非法用户的登录以及用户对于自己所做的
传统的工作流系统无法满足企业构建数据密集型应用的需求,需要借助于Hadoop平台处理大数据的能力。现有的Hadoop工作流系统采用自定义的描述语言构建Hadoop工作流,无法与企业已
智能物件通常是指物理世界中能够在嵌入式设备协助下进行感知、传输环境信息并进行特定操作的物体,而IP智能物件(IPSO)是指使用IP技术进行联网的智能物件。IPSO具备低功耗、
在油田勘探开发研究和应用过程中,地质人员需要通过各种方式收集大量的测井数据、地层数据、砂层数据等油藏数据信息,进行连井剖面的绘制。如何快速方便的完成连井剖面的可视
学位