谭兰芳

作品数：3被引量：14H指数：2
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：源程序控制流瞬时故障软件容错软错误更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《计算机学报》《小型微型计算机系统》《计算机工程与科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于虚拟基本块和格式化标签的控制流检测方法被引量：5
《计算机学报》2014年第11期2287-2297,共11页李建立 谭庆平 谭兰芳 徐建军 
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标...
关键词：瞬时故障 控制流错误 虚拟基本块 格式化标签 故障注入 
一种基于数据流分析的故障序列生成方法被引量：2
《小型微型计算机系统》2012年第4期716-721,共6页谭兰芳 谭庆平 徐建军 
某部基础研究项目(7180329)资助
故障注入是一种测评容错机制的有效方法,它通过有意识地向目标系统引入故障来加速测试容错机制的试验过程.目前大多数故障注入实验中采用的故障序列都是通过随机抽样获取的,容易造成故障潜伏,从而导致容错机制的评测结果不准确.本文提...
关键词：故障注入 故障序列 故障潜伏 数据流分析 
面向瞬态故障的软件容错技术被引量：7
《计算机工程与科学》2011年第11期132-139,共8页徐建军 谭庆平 熊荫乔 谭兰芳 李建立 
宇宙射线辐射所导致的瞬态故障一直是航天计算面临的最主要挑战之一。而随着集成电路制造工艺的持续进步,现代处理器的性能在大幅度提高的同时,其可信性也正日益面临着瞬态故障的严重威胁。当前针对瞬态故障的容错技术可大致分为两类:...
关键词：瞬态故障 软错误 软件容错 冗余计算 可信计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部