可定制嵌入式计算机加固技术研究 | |
郑美松 | |
2016-05-27 | |
学位类型 | 工学博士 |
中文摘要 | 可定制嵌入式计算机具有可裁剪、体系结构灵活、便于加固等优点,其价值逐渐受到工业、军事、航天等领域的重视。本文在深入分析国内外研究现状的基础上,围绕着可定制嵌入式计算机设计的关键技术问题开展研究,主要工作体现在以下几个方面: 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的可定制嵌入式计算机系统。该系统具有结构灵活性强、空间环境下可靠的优点。 |
英文摘要 |
With the merit of scalability, flexible architecture and easy-to-hardening, customizable embedded computer is getting more and more attention in industry, military, aerospace and so on. Based on in-depth analysis on the present research, this dissertation studied the key techniques of customizable embedded computer design, the major contributions of this paper include: |
关键词 | 嵌入式系统 容错 可定制 单粒子翻转 |
语种 | 中文 |
文献类型 | 学位论文 |
条目标识符 | http://ir.ia.ac.cn/handle/173211/11712 |
专题 | 毕业生_博士学位论文 |
作者单位 | 中国科学院自动化研究所 |
第一作者单位 | 中国科学院自动化研究所 |
推荐引用方式 GB/T 7714 | 郑美松. 可定制嵌入式计算机加固技术研究[D]. 北京. 中国科学院大学,2016. |
条目包含的文件 | ||||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
可定制嵌入式计算机加固技术研究.pdf(3036KB) | 学位论文 | 限制开放 | CC BY-NC-SA |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[郑美松]的文章 |
百度学术 |
百度学术中相似的文章 |
[郑美松]的文章 |
必应学术 |
必应学术中相似的文章 |
[郑美松]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论