###
DOI:
Journal of Software:2007.18(4):808-820

错误流模型:硬件故障的软件传播建模与分析
杨学军,高珑
(国防科学技术大学,计算机学院,湖南,长沙,410073)
Error Flow Model: Modeling and Analysis of Software Propagating Hardware Faults
YANG Xue-Jun,GAO Long
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3260   Download 3016
Received:June 12, 2006    Revised:August 29, 2006
> 中文摘要: 无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在
Abstract:Neither reliability models in reliability engineering nor in software reliability can be directly applied to describe the propagation of hardware errors in programs. This paper first sets up a computational data flow model, and then explains that a computational data flow graph for the program can be built, using the instruction set of URM (unlimited register machine) as an example. Upon the computational data flow model, the error flow model is set up. Errors are categorized into two kinds: Original errors and propagated errors. By analyzing the propagation rules of these two kinds of errors, 6 assumptions about error propagation are given, upon which the probabilities of errors at any time and at any place in a program can be calculated. At last, a sample of URM program is given to demonstrate the capability of the fault flow model.
文章编号:     中图分类号:    文献标志码:
基金项目:upported by the National Natural Science Foundation of China,the National Science Fund for Distinguished Young Scholars of China under Grant No.60621003(国家自然科学基金创新研究群体) upported by the National Natural Science Foundation of China,the National Science Fund for Distinguished Young Scholars of China under Grant No.60621003(国家自然科学基金创新研究群体)
Foundation items:
Reference text:

杨学军,高珑.错误流模型:硬件故障的软件传播建模与分析.软件学报,2007,18(4):808-820

YANG Xue-Jun,GAO Long.Error Flow Model: Modeling and Analysis of Software Propagating Hardware Faults.Journal of Software,2007,18(4):808-820