控制流检测

作品数:17被引量:47H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:戴葵陈微徐建军谭庆平刘芳更多>>
相关机构:国防科学技术大学哈尔滨工程大学华中科技大学中国科学院软件研究所更多>>
相关期刊:《计算机工程与设计》《计算机研究与发展》《计算机工程》《高技术通讯》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划黑龙江省博士后基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=高技术通讯x
条 记 录,以下是1-1
视图:
排序:
基于COTS处理器的微小卫星软件容错策略研究被引量:1
《高技术通讯》2007年第6期551-556,共6页高星 廖明宏 吴翔虎 黄振远 
863计划(2005AA742013)资助项目.
为解决基于COrpS处理器的现代微小卫星系统的软件容错问题,提出了基于虚拟寄存器的软件加固技术(SHVR),它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误,设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言...
关键词:可靠性 软件容错 虚拟寄存器 控制流检测 数据流检测 
检索报告 对象比较 聚类工具 使用帮助 返回顶部