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

• 作者: 吴翔虎 廖明宏 高星 黄振远
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 可靠性 软件容错 虚拟寄存器 控制流检测 数据流检测
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 551-556
• 页数: 6页
• 分类号: TP3
• 字数: 6980字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2007.06.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄振远	哈尔滨工业大学计算机科学与技术学院	4	23	3.0	4.0
2	廖明宏	哈尔滨工业大学计算机科学与技术学院	48	708	14.0	25.0
3	高星	哈尔滨工业大学计算机科学与技术学院	3	16	3.0	3.0
4	吴翔虎	哈尔滨工业大学计算机科学与技术学院	29	240	9.0	14.0