李剑明
- 作品数:5 被引量:15H指数:3
- 供职机构:国防科学技术大学更多>>
- 相关领域:自动化与计算机技术更多>>
- 面向星载计算机瞬时故障的软件控制流错误检测技术
- 随着空间探测活动的内容越来越丰富,星载计算机的作用也越来越重要。但是在空间环境中,硬件瞬时故障给星载计算机带来的可靠性问题非常突出。传统上一般采用专门的抗辐照器件来建造空间星载计算机。但是,抗辐照器件价格昂贵,难以供货且...
- 李剑明
- 关键词:星载计算机瞬时故障控制流检测
- 一种程序控制流错误检测方法
- 本发明公开了一种程序控制流错误检测方法,目的是克服已有方法提高控制流错误的检测率,解决基本块内部、过程间控制流检测难点问题。技术方案是先标识基本块并确定基本块之间的路由关系;然后根据基本块内部控制流检测的需求和基本块的构...
- 谭庆平徐建军宁洪周会平李建立李剑明罗宇邓胜兰
- 一种基于格式化标签的可扩展控制流检测方法被引量:11
- 2011年
- 硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.
- 徐建军谭庆平李建立李剑明
- 关键词:控制流检测软件容错
- 一种程序控制流错误检测方法
- 本发明公开了一种程序控制流错误检测方法,目的是克服已有方法提高控制流错误的检测率,解决基本块内部、过程间控制流检测难点问题。技术方案是先标识基本块并确定基本块之间的路由关系;然后根据基本块内部控制流检测的需求和基本块的构...
- 谭庆平徐建军宁洪周会平李建立李剑明罗宇邓胜兰
- 文献传递
- 基于路径跟踪的控制流检测被引量:3
- 2009年
- 硬件瞬时故障可以通过修改指令操作码和操作数的方式引发控制流错误,破坏程序的正常执行。针对硬件瞬时故障引起的程序控制流错误,提出一种指令级控制流检测方法,对程序执行路径进行跟踪。故障注入实验结果表明,该方法的平均错误检测率、增加的内存消耗和性能损耗分别为97.8%,83.2%和52.9%。
- 李剑明谭庆平徐建军蒋诚
- 关键词:瞬时故障数字标签控制流检测