您的位置： 专家智库 > >

高星

作品数：4 被引量：10H指数：2
供职机构：哈尔滨工业大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 3篇容错
  • 2篇虚拟寄存器
  • 2篇可靠性
  • 2篇空间机器人
  • 2篇控制流
  • 2篇控制流检测
  • 2篇机器人
  • 2篇寄存器
  • 1篇冗余
  • 1篇软件容错
  • 1篇数据流
  • 1篇数据流检测
  • 1篇微小卫星
  • 1篇卫星
  • 1篇小卫星
  • 1篇分布式
  • 1篇高可信
  • 1篇高可信软件

机构

  • 4篇哈尔滨工业大...

作者

  • 4篇高星
  • 3篇吴翔虎
  • 3篇廖明宏
  • 2篇黄振远

传媒

  • 1篇宇航学报
  • 1篇计算机工程
  • 1篇高技术通讯

年份

  • 2篇2009
  • 2篇2007
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
空间机器人高可信软件检错技术被引量：3
2009年
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。
高星廖明宏吴翔虎
关键词：空间机器人高可信
基于COTS处理器的微小卫星软件容错策略研究被引量：1
2007年
为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。
高星廖明宏吴翔虎黄振远
关键词：可靠性软件容错虚拟寄存器控制流检测数据流检测
基于虚拟寄存器的控制流错误检测算法被引量：6
2007年
控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令。这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性。
高星廖明宏吴翔虎黄振远
关键词：可靠性容错控制流检测虚拟寄存器
空间机器人软件错误检测技术研究
为了应对恶劣的外层空间环境,航天系统的软硬件必须具备抗辐射影响的容错特性,而错误检测/(简称检错/)是容错的重点和难点环节。近年来,商业货架/(COTS/)器件被越来越广泛地应用到现代航天系统,加上体积、重量等物理条件以...
高星
关键词：容错
文献传递网络资源链接
全选 清除 导出
共1页<1>
聚类工具0