A Quantitative Approach for Program Reliability Analysis of Soft Errors

XU Jian-jun; TAN Qing-ping; XIONG Lei; YE Jun

您当前的位置：

首页 >

文章列表页 >

A Quantitative Approach for Program Reliability Analysis of Soft Errors

更新时间：2025-07-16

- A Quantitative Approach for Program Reliability Analysis of Soft Errors
- Acta Electronica Sinica Vol. 39, Issue 3, Pages: 675-679(2011)
- 作者机构：
  
  国防科学技术大学计算机学院,湖南,长沙,410073
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2011
- 稿件说明：
移动端阅览
XU Jian-jun, TAN Qing-ping, XIONG Lei, et al. A Quantitative Approach for Program Reliability Analysis of Soft Errors[J]. Acta Electronica Sinica, 2011, 39(3): 675-679.
DOI：

XU Jian-jun, TAN Qing-ping, XIONG Lei, et al. A Quantitative Approach for Program Reliability Analysis of Soft Errors[J]. Acta Electronica Sinica, 2011, 39(3): 675-679. DOI：

摘要

宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步

现代处理器的计算可信性日益面临着软错误的严重威胁.当前

很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上

提出一种针对软错误的程序可靠性定量分析方法PRASE

并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关

同时分析结果还指出在软错误影响下程序的关键脆弱点

对实现针对软错误的高效容错算法有参考意义.

Abstract

Soft errors

caused by the radiation of cosmic rays

are one of the top challenges for space computing.With the continuously progress of integrated circuits

the dependability of modern processors is increasingly affected by soft errors.Currently

few works analyze the impact of soft errors from the perspective of software.This paper presents a quantitative approach

named PRASE

which is able to analyze the effect of soft errors to the reliability of a given program.Moreover

the analytical performance is increased significantly with the help of the basic block analysis and three arithmetic laws.The experiments show that the reliability of a program has a connection with its native structure.Furthermore

the analytical results also identify the vulnerabilities of a given program under the occurrence of soft errors.These contributions are in favor of implementing the high efficient algorithms for tolerating soft errors.

关键词

Keywords

references

Views

1280

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Study on Single Event Effect Evaluation Method Based on Xilinx FPGA System

Reliability Calculation Method of Logical Circuit Based on Bernoulli Distribution

Reliability Calculation Method of Logic Circuits Considering Signal Correlation

The F-PTM method of Reliability Estimation for Flip-Flops

The Research on Software-Hardware Co-designed SEU Fault-Injection Technology

Related Author

ZOU Bin

LIU Jin-zhi

ZHOU Dan-yang

WANG Peng

YOU Zhi-qiang

LING Chun-qing

LIU Tie-qiao

KUANG Ji-shun

Related Institution

Key Laboratory of Aircraft Airworthiness Certification Technology, Civil Aviation University of China

School of Electronic Information and Automation, Civil Aviation University of China

School of Safety Science and Engineering, Civil Aviation University of China

School of Management Hangzhou Dianzi University Hangzhou Zhejiang China

School of Computer and Communication Engineering Changsha University of Science and Technology Changsha Hunan China

⁰