COTS微處理器軟件容錯性能的研究.pdf

1、美國ARGOS衛(wèi)星對利用SIHFT軟件容錯技術進行容錯的商用器件的抗輻射性能進行了在軌實驗，結果證明在不需要專用硬件的情況下，使用軟件技術也能達到航天應用的可靠性要求。這個結論為商用器件在空間飛行器上的使用提供了有力的支持，使得商用器件在空間飛行器上有了更廣闊的應用前景。從眾多優(yōu)秀的商用器件中篩選出合適的器件用于空間飛行器中，已經成為空間系統(tǒng)發(fā)展的主要研究方向之一。微處理器是空間飛行器必不可少的核心部件，因此有必要對目前主流航天用COT

2、S微處理器的體系結構進行研究，對其使用軟件容錯技術產生的容錯效果和性能開銷進行比較分析，探索更加適合軟件容錯實現(xiàn)的航天用微處理器體系結構，這對今后航天用微處理器的選用具有十分重要的現(xiàn)實意義。
　　本文首先研究了SIHFT的兩項關鍵技術：軟件簽名控制流檢錯技術和復制指令檢錯技術的基本思想和算法；其次研究了ARM7和SPARC V8這兩種微處理器的體系結構和指令系統(tǒng)；接著在以上研究的基礎上，對SIHFT技術在這兩種微處理器體系結構上實

3、現(xiàn)時的容錯效果和性能開銷進行了比較和理論分析，提出了適合采用該技術進行軟件容錯的微處理器應該具備的條件，并對SIHFT技術在SPARC V8平臺上實現(xiàn)的關鍵問題進行了分析，給出了解決問題的算法和相應的技術方案。最后，通過仿真實驗測試了適于目標平臺的軟件檢錯技術的檢錯覆蓋率。在仿真器TSIM上進行實驗的結果數(shù)據(jù)表明：在引入平均133.2％的性能開銷的基礎上，寄存器注入故障，檢錯覆蓋率為95.3%；存儲器注入故障，檢錯覆蓋率為79.8%，這