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

作     者：高星 廖明宏 吴翔虎 黄振远 Gao Xing;Liao Minghong;Wu Xianghu;Huang Zhenyuan

作者机构：哈尔滨工业大学计算机科学与技术学院哈尔滨150001 

基　　金：863计划(2005AA742013)资助项目 

出 版 物：《高技术通讯》 (Chinese High Technology Letters)

年 卷 期：2007年第17卷第6期

页      码：551-556页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-0470.2007.06.001

馆 藏 号：203130111...