基于COTS处理器的微小卫星软件容错策略研究  

SHVR： a new fault tolerant method for micro-satellite software on COTS processors

作　　者：高星[1] 廖明宏[1] 吴翔虎[1] 黄振远[1] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《高技术通讯》2007年第6期551-556,共6页Chinese High Technology Letters

基　　金：863计划（2005AA742013）资助项目.

摘　　要：为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。A method of software hardening based on virtual register （SHVR） was proposed to solve the problem of fault-tolerance of COTS processors on micro-satellites. The method classified the faults of software running on COTS processors into the data flow errors and the control flow errors. And a model on this classification was used. A virtual memory assignment method was firstly raised. The new data flow and the control flow error detection algorithms based on virtual register were given to break the limitation of existed methods. An optimization method based on this SHVR was given and validated on the background of actual application. The simulation and application results showed that at the cost of 82.6% performance price, SHVR increased the fault detecting rate to 91.4%. The method was better than the existing ones.

关 键 词：可靠性 软件容错 虚拟寄存器 控制流检测 数据流检测 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]