论文部分内容阅读
为解决基于COrpS处理器的现代微小卫星系统的软件容错问题,提出了基于虚拟寄存器的软件加固技术(SHVR),它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误,设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制,提出了基于虚拟寄存器的数据流和控制流错误检测算法,并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明,这套完全基于软件技术的方案在平均付出82.6%性能代价的前提下,对随机注入故障检测率达到91.4%。该方法现已成功应用于哈工大某重大航天课题中。