李建立

作品数：4被引量：22H指数：3
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：控制流瞬时故障标签程序控制源程序更多>>
发文领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
发文期刊：《计算机研究与发展》《计算机学报》《计算机工程与科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于虚拟基本块和格式化标签的控制流检测方法被引量：5
《计算机学报》2014年第11期2287-2297,共11页李建立 谭庆平 谭兰芳 徐建军 
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标...
关键词：瞬时故障 控制流错误 虚拟基本块 格式化标签 故障注入 
面向瞬态故障的软件容错技术被引量：7
《计算机工程与科学》2011年第11期132-139,共8页徐建军 谭庆平 熊荫乔 谭兰芳 李建立 
宇宙射线辐射所导致的瞬态故障一直是航天计算面临的最主要挑战之一。而随着集成电路制造工艺的持续进步,现代处理器的性能在大幅度提高的同时,其可信性也正日益面临着瞬态故障的严重威胁。当前针对瞬态故障的容错技术可大致分为两类:...
关键词：瞬态故障 软错误 软件容错 冗余计算 可信计算 
一种基于格式化标签的可扩展控制流检测方法被引量：11
《计算机研究与发展》2011年第4期638-646,共9页徐建军 谭庆平 李建立 李剑明 
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效...
关键词：控制流检测 基本块标签 硬件瞬态故障 软件容错 故障注入 
一种辐射环境下瞬时故障的软件检测方法被引量：3
《计算机工程与科学》2010年第3期115-118,共4页李建立 谭庆平 徐建军 
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可...
关键词：数据错误 控制流错误 故障检测 故障注入 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部