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

作品数：4被引量：7H指数：2
导出分析报告
相关作者：吴翔虎高星廖明宏黄振远李建中更多>>
相关机构：哈尔滨工业大学更多>>
相关期刊：《计算机工程》《哈尔滨工业大学学报》《高技术通讯》《宇航学报》更多>>
相关主题：虚拟寄存器控制流检测可靠性容错高可信软件更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
活动图并发语义代码自动生成算法设计被引量：1
《哈尔滨工业大学学报》2012年第9期85-90,共6页吴翔虎 曲明成 李建中 王志超 
国家高技术研究发展计划资助项目(2005AA742013)
针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代...
关键词：代码自动生成 活动图 并发语义 
空间机器人高可信软件检错技术被引量：2
《计算机工程》2009年第16期56-58,共3页高星 廖明宏 吴翔虎 
国家"863"计划基金资助项目(2005AA742013)
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节...
关键词：空间机器人 高可信 错误检测 
基于COTS处理器的微小卫星软件容错策略研究被引量：1
《高技术通讯》2007年第6期551-556,共6页高星 廖明宏 吴翔虎 黄振远 
863计划（2005AA742013）资助项目.
为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言...
关键词：可靠性 软件容错 虚拟寄存器 控制流检测 数据流检测 
基于虚拟寄存器的控制流错误检测算法被引量：4
《宇航学报》2007年第1期183-187,共5页高星 廖明宏 吴翔虎 黄振远 
国家高技术研究发展计划(2005AA742013)
控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法...
关键词：可靠性 容错 控制流检测 虚拟寄存器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部