基于VHDL的故障注入工具的研究與實(shí)現(xiàn).pdf

1、近年來,計(jì)算機(jī)技術(shù)呈現(xiàn)出迅猛的發(fā)展態(tài)勢。它所應(yīng)用到的航空、航天等特殊領(lǐng)域要求它要具有很高的可靠性。由于FPGA具有運(yùn)算快速和編程簡單等優(yōu)點(diǎn),因此它被廣泛應(yīng)用到航天容錯(cuò)計(jì)算機(jī)的設(shè)計(jì)當(dāng)中。近年來,針對(duì)這種計(jì)算機(jī)的可靠性評(píng)測也被越來越多的設(shè)計(jì)人員所重視。而故障注入技術(shù)是現(xiàn)如今一種重要的可靠性評(píng)測方法。故障注入工具的實(shí)現(xiàn)則可以為容錯(cuò)計(jì)算機(jī)的研究帶來巨大的幫助。
　　本文針對(duì)目前主流故障注入技術(shù)的理論基礎(chǔ)進(jìn)行了深入的研究,為故障注入工具的實(shí)

2、現(xiàn)做好了理論儲(chǔ)備。本文課題來源中的容錯(cuò)計(jì)算機(jī)使用了硬件描述語言VHDL。因此,本文主要研究了基于VHDL的故障注入技術(shù)。該技術(shù)中的“突變”方法可以很好的支持注入多種類型的故障,并且不改變目標(biāo)系統(tǒng)模型的結(jié)構(gòu)。基于這種技術(shù),本文設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)故障注入工具。該工具可以對(duì)基于VHDL語言建模的系統(tǒng)進(jìn)行故障注入。它通過分析VHDL源文件中的代碼來找出系統(tǒng)中可以注入的對(duì)象,然后使用CASE語句修改源代碼,最后通過仿真器進(jìn)行故障注入仿真實(shí)驗(yàn)。它可以