李建立
- 作品数：14 被引量：27H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 面向星载容错系统测评的故障注入技术研究及算法
- 本文介绍一种基于程序基本块的软件故障注入技术。首先介绍了故障注入是一种有效的测试和评价容错系统方法;紧接着讨论了软件故障注入方法能有效地模拟单粒子故障模型;在此基础上提出了故障注入的三个关键问题:①选择故障模型;②提高故...
- 谭兰芳谭庆平徐建军李建立
- 文献传递
- 一种基于虚拟基本块和格式化标签的控制流检测方法被引量：5
- 2014年
- 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.
- 李建立谭庆平谭兰芳徐建军
- 关键词：瞬时故障
- 一种辐射环境下瞬时故障的软件检测方法被引量：3
- 2010年
- 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SIT-FT算法在性能开销比源程序增加58%～111%,存储开销增加153%～225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%～73.2%。
- 李建立谭庆平徐建军
- 关键词：故障检测
- 一种基于还原程序的硬件故障检测方法
- 本发明公开了一种基于还原程序的硬件故障检测方法，目的是加大源程序和冗余程序运行时的时空差异性，克服数据溢出等问题，提高瞬时故障和永久性故障的故障检测率。技术方案是遍历源程序，对源程序进行预处理后，找出源程序中的原子数据，...
- 谭庆平李建立宁洪徐锡山徐建军周会平谭兰芳
- 文献传递
- 一种程序控制流错误检测方法
- 本发明公开了一种程序控制流错误检测方法，目的是克服已有方法提高控制流错误的检测率，解决基本块内部、过程间控制流检测难点问题。技术方案是先标识基本块并确定基本块之间的路由关系；然后根据基本块内部控制流检测的需求和基本块的构...
- 谭庆平徐建军宁洪周会平李建立李剑明罗宇邓胜兰
- 一种基于格式化标签的可扩展控制流检测方法被引量：11
- 2011年
- 硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.
- 徐建军谭庆平李建立李剑明
- 关键词：控制流检测软件容错
- 面向瞬态故障的软件容错技术被引量：7
- 2011年
- 宇宙射线辐射所导致的瞬态故障一直是航天计算面临的最主要挑战之一。而随着集成电路制造工艺的持续进步,现代处理器的性能在大幅度提高的同时,其可信性也正日益面临着瞬态故障的严重威胁。当前针对瞬态故障的容错技术可大致分为两类:基于硬件实现和基于软件实现。相比较前者,后者由于在实现成本和灵活性等方面的优势而备受关注。本文首先概述了面向瞬态故障的容错基本原理和对应软件容错技术的主要特点;然后,从不同实现层次介绍和分析了软件容错技术有代表性的最新研究成果;最后,对当前研究的特点和存在的问题进行了总结,并对软件容错技术未来的研究方向给出了意见。
- 徐建军谭庆平熊荫乔谭兰芳李建立
- 关键词：瞬态故障软错误软件容错冗余计算可信计算
- 一种基于重构控制流图的控制流错误检测优化方法
- 本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，...
- 谭庆平李建立宁洪徐建军周会平谭兰芳徐锡山
- 一种程序控制流错误检测方法
- 本发明公开了一种程序控制流错误检测方法，目的是克服已有方法提高控制流错误的检测率，解决基本块内部、过程间控制流检测难点问题。技术方案是先标识基本块并确定基本块之间的路由关系；然后根据基本块内部控制流检测的需求和基本块的构...
- 谭庆平徐建军宁洪周会平李建立李剑明罗宇邓胜兰
- 文献传递
- 一种软件实现的瞬时故障检测方法
- 空间辐射环境下,硬件瞬时故障经常导致程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,提出了一种软件实现的检测算法ESWIFT,它基于程序冗余的思想检测数据错误,基于标签分析的思想检测控制流错误。不但可以检...
- 李建立谭庆平徐建军
- 关键词：故障检测
- 文献传递
