计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
5期
1418-1422
,共5页
单粒子效应%星载操作系统%软加固%控制流错误检测%函数级
單粒子效應%星載操作繫統%軟加固%控製流錯誤檢測%函數級
단입자효응%성재조작계통%연가고%공제류착오검측%함수급
Single Event Effect (SEE)%on-board operating system%soft reinforcement%control flow checking%function level
空间高能粒子辐射严重影响航天计算的可靠性,必须采取有效措施对其进行加固.相比使用抗辐射器件,使用软加固的商用器件具有性能高、成本低、开发速度快等优势.然而,目前的软加固研究主要适用于应用程序,对操作系统软加固方法的研究还较少.鉴于此,提出了一种面向星载操作系统的控制流错误检测方法.该方法结合星载操作系统自身特点,着眼于线程执行,将每个线程视为一个函数调用序列,通过在函数入口和出口处插入检测语句,监测各线程的执行,实现控制流错误检测.实验结果表明,该方法能将星载操作系统的控制流错误覆盖率提高约25％.
空間高能粒子輻射嚴重影響航天計算的可靠性,必鬚採取有效措施對其進行加固.相比使用抗輻射器件,使用軟加固的商用器件具有性能高、成本低、開髮速度快等優勢.然而,目前的軟加固研究主要適用于應用程序,對操作繫統軟加固方法的研究還較少.鑒于此,提齣瞭一種麵嚮星載操作繫統的控製流錯誤檢測方法.該方法結閤星載操作繫統自身特點,著眼于線程執行,將每箇線程視為一箇函數調用序列,通過在函數入口和齣口處插入檢測語句,鑑測各線程的執行,實現控製流錯誤檢測.實驗結果錶明,該方法能將星載操作繫統的控製流錯誤覆蓋率提高約25％.
공간고능입자복사엄중영향항천계산적가고성,필수채취유효조시대기진행가고.상비사용항복사기건,사용연가고적상용기건구유성능고、성본저、개발속도쾌등우세.연이,목전적연가고연구주요괄용우응용정서,대조작계통연가고방법적연구환교소.감우차,제출료일충면향성재조작계통적공제류착오검측방법.해방법결합성재조작계통자신특점,착안우선정집행,장매개선정시위일개함수조용서렬,통과재함수입구화출구처삽입검측어구,감측각선정적집행,실현공제류착오검측.실험결과표명,해방법능장성재조작계통적공제류착오복개솔제고약25％.
