基于SRAM型FPGA的數(shù)字系統(tǒng)容錯機制研究
本文選題:容錯 切入點:自修復 出處:《南京航空航天大學》2016年碩士論文
【摘要】:空天應用中基于SRAM型現(xiàn)場可編程門陣列(Field Programmable Gate Array,FPGA)的電子系統(tǒng)易因輻射誘發(fā)各種軟故障和硬故障,故為保證任務的順利完成,系統(tǒng)必須具有較強的容錯能力。目前大部分系統(tǒng)容錯的研究工作側重于處理某一類故障,能同時處理軟故障和硬故障的研究成果較少。本文將三模冗余(Triple Modular Redundancy,TMR)、部分配置刷新和演化硬件(Evolvable Hardware,EHW)思想相結合,設計具有在線自修復能力的單芯片強容錯數(shù)字系統(tǒng)結構和故障修復機制,對軟故障和硬故障均有較好的處理能力。本文主要研究內(nèi)容如下:(1)分析了空天應用環(huán)境下SRAM型FPGA常見的故障類型,并通過分析目前FPGA常用容錯技術的優(yōu)缺點確定了本文的技術方案。介紹了Xilinx Virtex-6 ML605開發(fā)套件及其軟件開發(fā)環(huán)境概況。(2)將動態(tài)部分重構(Dynamic Partial Reconfiguration,DPR)技術和配置刷新技術相結合,設計了基于部分配置刷新的自主修復系統(tǒng),包括功能單元的預設計、片上可編程系統(tǒng)硬件平臺搭建、系統(tǒng)軟件設計、DPR設計、可配置刷新IP核定制。并通過實驗驗證了部分配置刷新技術對軟故障處理的有效性。(3)設計了基于虛擬可重構電路(Virtual Reconfigurable Circuit,VRC)的自演化修復系統(tǒng),包括VRC電路設計、可演化IP核定制和添加、系統(tǒng)硬件平臺搭建、系統(tǒng)軟件設計。并以2位乘法器為例在ML605開發(fā)套件對自演化修復系統(tǒng)進行了驗證。(4)設計了基于SRAM型FPGA的容錯系統(tǒng)總體結構,給出了系統(tǒng)的故障修復機制。設計了系統(tǒng)軟件,包括軟件整體架構、軟故障的部分配置刷新修復控制、硬故障的演化修復控制。在ML605開發(fā)套件上,分別以2位乘法器和Sobel邊緣檢測器的設計和實現(xiàn)為例,通過模擬故障注入的方式,驗證了系統(tǒng)結構和故障修復機制。其中軟故障均使用配置刷新技術修復,2位乘法器和Sobel邊緣檢測器的硬故障分別使用門級演化和函數(shù)級演化方式修復。實驗結果表明,本文系統(tǒng)對兩類故障均具有較好的處理能力。
[Abstract]:The electronic system based on SRAM Field Programmable Gate FPGA in space-space application is prone to various soft and hard faults caused by radiation, so to ensure the smooth completion of the task, Systems must have a strong fault tolerance capability. At present, most of the research work on fault tolerance in systems is focused on dealing with certain types of faults. There are few research results that can deal with both soft and hard faults. In this paper, the idea of triple Modular redundancy, partial configuration refresh and Evolvable hardware EHW are combined. A single chip strong fault-tolerant digital system structure and fault repair mechanism with on-line self-repair capability are designed. The main contents of this paper are as follows: (1) the common fault types of SRAM type FPGA in space-space application environment are analyzed. By analyzing the advantages and disadvantages of the common fault-tolerant technologies in FPGA, this paper determines the technical scheme of this paper, and introduces the Xilinx Virtex-6 ML605 development suite and its software development environment, which combines the dynamic Partial Reconfiguration with the configuration refresh technology. A self-repairing system based on partial configuration refresh is designed, including pre-design of function unit, hardware platform of on-chip programmable system, system software design and DPR design. The validity of partial configuration refresh technology for soft fault processing is verified by experiments. A self-evolving repair system based on virtual reconfigurable circuit virtual Reconfigurable circuit is designed, including the design of VRC circuit. The architecture of fault-tolerant system based on SRAM type FPGA is designed with the example of 2-bit multiplier in ML605 development suite to verify the self-evolution repair system. This paper presents the fault repair mechanism of the system, designs the system software, including the whole software architecture, the soft fault partial configuration refresh repair control, the hard fault evolution repair control. Taking the design and implementation of 2-bit multiplier and Sobel edge detector as examples, the fault injection is simulated. The system structure and fault repair mechanism are verified, in which soft faults are repaired by configuration refresh technique for 2-bit multiplier and Sobel edge detector by gate level evolution and function level evolution respectively. The experimental results show that, The system has better ability to deal with both kinds of faults.
【學位授予單位】:南京航空航天大學
【學位級別】:碩士
【學位授予年份】:2016
【分類號】:V446
【參考文獻】
相關期刊論文 前10條
1 鄭曉云;陶淑蘋;馮汝鵬;王紹舉;;SRAM型FPGA抗單粒子翻轉技術研究[J];電子測量技術;2015年01期
2 馮汝鵬;徐偉;樸永杰;;基于SRAM型FPGA的容錯性設計[J];電子測量技術;2014年10期
3 朱繼祥;李元香;邢建國;;可重構系統(tǒng)的演化修復機制[J];計算機學報;2014年07期
4 姜昱光;韓建偉;朱翔;蔡明輝;;SRAM型FPGA單粒子翻轉效應加固方法[J];北京航空航天大學學報;2014年08期
5 張衡;;星載電子設備FPGA的動態(tài)刷新方法及實現(xiàn)[J];制導與引信;2013年03期
6 陶曉霞;邢煒;徐啟炳;;Virtex-4系列FPGA糾正單粒子翻轉的方法研究[J];空間電子技術;2011年02期
7 杜新軍;周建華;胡劍平;;在SRAM型FPGA中局部重構與配置刷新的兼容方案[J];遙測遙控;2011年02期
8 張超;趙偉;劉崢;;基于FPGA的三模冗余容錯技術研究[J];現(xiàn)代電子技術;2011年05期
9 姚睿;王友仁;于盛林;陳則王;;具有在線修復能力的強容錯三模冗余系統(tǒng)設計及實驗研究[J];電子學報;2010年01期
10 李志剛;張_g;潘長勇;楊知行;;抗單粒子翻轉的可重構衛(wèi)星通信系統(tǒng)[J];宇航學報;2009年05期
相關碩士學位論文 前2條
1 劉潔麗;基于SOPC的自演化系統(tǒng)設計與驗證[D];南京航空航天大學;2012年
2 李鵬飛;FPGA動態(tài)自重構系統(tǒng)的設計方法學研究[D];大連理工大學;2009年
,本文編號:1696929
本文鏈接:http://sikaile.net/kejilunwen/hangkongsky/1696929.html