谭兰芳
- 作品数：11 被引量：19H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于COTS DSP软加固的循环体优化算法
- 高性能数字信号处理器(Digital Signal Processor,DSP),越来越多的应用于星载信号处理系统中。然而,由于宇宙射线辐照所引发的单粒子效应使得许多可靠性问题尚未解决,高性能DSP在中国星载信号处理中的...
- 邵则铭谭庆平徐建军谭兰芳姚天问
- 关键词：航天电子设备数字信号处理器可靠性分析优化计算
- 文献传递
- 一种基于数据流分析的故障序列生成方法被引量：2
- 2012年
- 故障注入是一种测评容错机制的有效方法,它通过有意识地向目标系统引入故障来加速测试容错机制的试验过程.目前大多数故障注入实验中采用的故障序列都是通过随机抽样获取的,容易造成故障潜伏,从而导致容错机制的评测结果不准确.本文提出一种基于数据流分析的故障序列生成方法.提出<故障注入位置,故障注入时间,故障类型,故障掩码>的单粒子故障模型.在此基础上,通过数据流活跃变量分析计算得出故障注入位置属性,以及定值-引用分析确定了故障注入时间属性.并以PowerPC8548处理器和它对应的Trace模拟器为实验平台,验证了该故障序列生成方法具有90%以上的失效加速比,较好地解决了故障潜伏问题.
- 谭兰芳谭庆平徐建军
- 关键词：数据流分析
- 面向星载容错系统测评的故障注入技术研究及算法
- 本文介绍一种基于程序基本块的软件故障注入技术。首先介绍了故障注入是一种有效的测试和评价容错系统方法;紧接着讨论了软件故障注入方法能有效地模拟单粒子故障模型;在此基础上提出了故障注入的三个关键问题:①选择故障模型;②提高故...
- 谭兰芳谭庆平徐建军李建立
- 文献传递
- 一种基于虚拟基本块和格式化标签的控制流检测方法被引量：5
- 2014年
- 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.
- 李建立谭庆平谭兰芳徐建军
- 关键词：瞬时故障
- 一种基于重构控制流图的控制流错误检测优化方法
- 本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，...
- 谭庆平李建立宁洪徐建军周会平谭兰芳徐锡山
- 文献传递
- 面向瞬态故障的软件容错技术被引量：7
- 2011年
- 宇宙射线辐射所导致的瞬态故障一直是航天计算面临的最主要挑战之一。而随着集成电路制造工艺的持续进步,现代处理器的性能在大幅度提高的同时,其可信性也正日益面临着瞬态故障的严重威胁。当前针对瞬态故障的容错技术可大致分为两类:基于硬件实现和基于软件实现。相比较前者,后者由于在实现成本和灵活性等方面的优势而备受关注。本文首先概述了面向瞬态故障的容错基本原理和对应软件容错技术的主要特点;然后,从不同实现层次介绍和分析了软件容错技术有代表性的最新研究成果;最后,对当前研究的特点和存在的问题进行了总结,并对软件容错技术未来的研究方向给出了意见。
- 徐建军谭庆平熊荫乔谭兰芳李建立
- 关键词：瞬态故障软错误软件容错冗余计算可信计算
- 一种基于还原程序的硬件故障检测方法
- 本发明公开了一种基于还原程序的硬件故障检测方法，目的是加大源程序和冗余程序运行时的时空差异性，克服数据溢出等问题，提高瞬时故障和永久性故障的故障检测率。技术方案是遍历源程序，对源程序进行预处理后，找出源程序中的原子数据，...
- 谭庆平李建立宁洪徐锡山徐建军周会平谭兰芳
- 文献传递
- 一种基于重构控制流图的控制流错误检测优化方法
- 本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，...
- 谭庆平李建立宁洪徐建军周会平谭兰芳徐锡山
- 一种基于还原程序的硬件故障检测方法
- 本发明公开了一种基于还原程序的硬件故障检测方法，目的是加大源程序和冗余程序运行时的时空差异性，克服数据溢出等问题，提高瞬时故障和永久性故障的故障检测率。技术方案是遍历源程序，对源程序进行预处理后，找出源程序中的原子数据，...
- 谭庆平李建立宁洪徐锡山徐建军周会平谭兰芳
- 面向软错误的故障恢复和验证技术研究
- 随着集成电路制造工艺的发展，现代微处理器的性能在大幅度提高的同时，面临软错误的威胁也越来越严重。软错误是由外部环境中的高能粒子辐照或电压扰动、地磁干扰等因素诱发的一种硬件瞬态故障现象。它不破坏电路的内部结构，但是却可以通...
- 谭兰芳
- 关键词：软错误软件容错
