高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2007年
6期
551-556
,共6页
高星%廖明宏%吴翔虎%黄振远
高星%廖明宏%吳翔虎%黃振遠
고성%료명굉%오상호%황진원
可靠性%软件容错%虚拟寄存器%控制流检测%数据流检测
可靠性%軟件容錯%虛擬寄存器%控製流檢測%數據流檢測
가고성%연건용착%허의기존기%공제류검측%수거류검측
为解决基于COTS处理器的现代微小卫星系统的软件容错问题,提出了基于虚拟寄存器的软件加固技术(SHVR),它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误,设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制,提出了基于虚拟寄存器的数据流和控制流错误检测算法,并在实际应用背景下对这一方案进行了优化.模拟实验和实际应用表明,这套完全基于软件技术的方案在平均付出82.6%性能代价的前提下,对随机注入故障检测率达到91.4%.该方法现已成功应用于哈工大某重大航天课题中.
為解決基于COTS處理器的現代微小衛星繫統的軟件容錯問題,提齣瞭基于虛擬寄存器的軟件加固技術(SHVR),它把運行在COTS處理器上的軟件故障分為數據流錯誤和控製流錯誤,設計瞭一套虛擬寄存器分配方法來突破現有的隻能採用高級語言源程序作為輸入的限製,提齣瞭基于虛擬寄存器的數據流和控製流錯誤檢測算法,併在實際應用揹景下對這一方案進行瞭優化.模擬實驗和實際應用錶明,這套完全基于軟件技術的方案在平均付齣82.6%性能代價的前提下,對隨機註入故障檢測率達到91.4%.該方法現已成功應用于哈工大某重大航天課題中.
위해결기우COTS처리기적현대미소위성계통적연건용착문제,제출료기우허의기존기적연건가고기술(SHVR),타파운행재COTS처리기상적연건고장분위수거류착오화공제류착오,설계료일투허의기존기분배방법래돌파현유적지능채용고급어언원정서작위수입적한제,제출료기우허의기존기적수거류화공제류착오검측산법,병재실제응용배경하대저일방안진행료우화.모의실험화실제응용표명,저투완전기우연건기술적방안재평균부출82.6%성능대개적전제하,대수궤주입고장검측솔체도91.4%.해방법현이성공응용우합공대모중대항천과제중.
