摘要
为解决基于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.
出处
《高技术通讯》
CAS
CSCD
北大核心
2007年第6期551-556,共6页
Chinese High Technology Letters
基金
863计划(2005AA742013)资助项目.
关键词
可靠性
软件容错
虚拟寄存器
控制流检测
数据流检测
reliability, fault-tolerance, virtual register, control-flow detection, data-flow detection