基于FPGA核電儀控系統(tǒng)的軟件可靠性驗證方法研究.pdf

1、可靠性是核電儀控系統(tǒng)的重要性能之一，是核電站安全穩(wěn)定運行的保障。本文以基于FPGA的核電儀控系統(tǒng)軟件為對象，研究了軟件可靠性的驗證方法，對于國內(nèi)FPGA軟件驗證技術(shù)水平的提高具有現(xiàn)實意義。
　　軟件可靠性驗證方法的核心是驗證的完備性、高效性，以及軟件抗環(huán)境影響的能力。本文針對FPGA軟件可靠性驗證中的這些關(guān)鍵問題進行研究，做了以下工作并取得了一些創(chuàng)新性成果：
　　1、對于被測空間中未覆蓋部分，研究用布爾可滿足性問題對其進行建

2、模，該方法可提高驗證的完備性。
　　2、針對大規(guī)模輸入問題，采用模塊測試中測試用例生成方法生成測試用例，實驗表明求解效率非常低，經(jīng)分析是由于傳統(tǒng)DPLL算法決策策略部分不足所導(dǎo)致的?；诖?，優(yōu)化DPLL算法的決策策略，然后在此基礎(chǔ)上，結(jié)合隨機方法，提出了一種新的測試用例生成方法，仿真驗證該方法可高效地解決大規(guī)模問題。
　　3、針對現(xiàn)有故障注入器應(yīng)用范圍小，可移植性差的特點，提出適合基于FPGA核電儀控系統(tǒng)軟件的故障注入方法，