您的位置： 专家智库 > >

国家高技术研究发展计划(2005AA742013)

作品数：4 被引量：10H指数：2
相关作者：吴翔虎高星廖明宏黄振远李建中更多>>
相关机构：哈尔滨工业大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 2篇虚拟寄存器
  • 2篇容错
  • 2篇可靠性
  • 2篇控制流
  • 2篇控制流检测
  • 2篇寄存器
  • 1篇代码
  • 1篇代码自动生成
  • 1篇软件容错
  • 1篇数据流
  • 1篇数据流检测
  • 1篇自动生成
  • 1篇微小卫星
  • 1篇卫星
  • 1篇小卫星
  • 1篇空间机器人
  • 1篇活动图
  • 1篇机器人
  • 1篇高可信
  • 1篇高可信软件

机构

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

作者

  • 4篇吴翔虎
  • 3篇廖明宏
  • 3篇高星
  • 2篇黄振远
  • 1篇王志超
  • 1篇曲明成
  • 1篇李建中

传媒

  • 1篇哈尔滨工业大...
  • 1篇宇航学报
  • 1篇计算机工程
  • 1篇高技术通讯

年份

  • 1篇2012
  • 1篇2009
  • 2篇2007
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
空间机器人高可信软件检错技术被引量：3
2009年
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。
高星廖明宏吴翔虎
关键词：空间机器人高可信
基于COTS处理器的微小卫星软件容错策略研究被引量：1
2007年
为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。
高星廖明宏吴翔虎黄振远
关键词：可靠性软件容错虚拟寄存器控制流检测数据流检测
活动图并发语义代码自动生成算法设计被引量：1
2012年
针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.
吴翔虎曲明成李建中王志超
关键词：代码自动生成活动图
基于虚拟寄存器的控制流错误检测算法被引量：6
2007年
控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令。这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性。
高星廖明宏吴翔虎黄振远
关键词：可靠性容错控制流检测虚拟寄存器
全选 清除 导出
共1页<1>
聚类工具0