黄振远 作品数:5 被引量:12 H指数:2 供职机构: 哈尔滨工业大学科学与工业技术研究院空间智能系统研究所 更多>> 发文基金: 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
基于虚拟寄存器的控制流错误检测算法 被引量:6 2007年 控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令。这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性。 高星 廖明宏 吴翔虎 黄振远关键词:可靠性 容错 控制流检测 虚拟寄存器 基于LabWindows/CVI的小卫星气浮台测控终端模拟器设计与实现 被引量:1 2008年 介绍一种使用工业计算机和无线网卡研制的小卫星气浮台测控终端模拟器。测控终端模拟器的主要任务是模拟地面站的遥测遥控功能,其软件开发平台采用了NI公司的LabW indows/CVI。应用模块化方法设计的测控终端模拟器软件,可实现遥测数据接收、解码、显示、存储和数据回放功能,并能通过无线网络向小卫星气浮台发送遥控指令。试验结果表明,小卫星气浮台与地面测控站之间通信过程模拟效果令人满意。 王新升 郑靖 黄振远 梁斌关键词:气浮台 无线网络 小卫星 基于COTS处理器的微小卫星软件容错策略研究 被引量:1 2007年 为解决基于COrpS处理器的现代微小卫星系统的软件容错问题,提出了基于虚拟寄存器的软件加固技术(SHVR),它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误,设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制,提出了基于虚拟寄存器的数据流和控制流错误检测算法,并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明,这套完全基于软件技术的方案在平均付出82.6%性能代价的前提下,对随机注入故障检测率达到91.4%。该方法现已成功应用于哈工大某重大航天课题中。 高星 廖明宏 吴翔虎 黄振远关键词:可靠性 软件容错 虚拟寄存器 控制流检测 数据流检测 一种星载计算机软件检错技术的研究与实现 近年来,采用商用器件构建航天器已经成为国内外的发展趋势。相比于传统的宇航级器件,商用器件具有高性能、低功耗、成本低和数量足等优点,能够满足航天器的日益增长的性能需求。但商用器件的缺陷在于抗辐射能力低。在恶劣的太空环境下,... 黄振远关键词:航天器 软件容错技术 文献传递 一种基于VxWorks的星载计算机软件故障注入方法研究 被引量:3 2010年 给出了一种基于VxWorks的模拟单粒子效应的软件故障注入方法。该方法基于航天领域常用的多任务实时操作系统VxWorks,通过软件注入故障来模拟空间辐射环境引发的星载计算机硬件的单粒子事件。对软件故障注入的流程进行了详细说明,并在硬件开发平台上进行了验证。实验测试结果表明,该方法能够有效地对星载系统可靠性进行评测,并且具有操作简便、对目标系统影响小,不会对目标系统造成损伤等优点。 王新升 黄振远 梁斌关键词:软件故障注入 VXWORKS 星载计算机