-
题名错误流模型:硬件故障的软件传播建模与分析
被引量：9
- 1
-
-
作者
杨学军
高珑
-
机构
国防科学技术大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2007年第4期808-820,共13页
-
基金
SupportedbytheNationalNaturalScienceFoundationofChina
theNationalScienceFundforDistinguishedYoungScholarsofChinaunderGrantNo.60621003(国家自然科学基金创新研究群体)
-
文摘
无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在程序中传播的能力.
-
关键词
软件实现的硬件容错
可靠性
计算数据流模型
错误流模型
错误传播
-
Keywords
SIHFT （software implemented hardware fault tolerance）
reliability
computational data flow model
error flow model
error propagation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于签名的控制流错误检测算法检测能力的验证模型
- 2
-
-
作者
吴艳霞
顾国昌
戴葵
沈晶
刘海波
-
机构
哈尔滨工程大学计算机科学与技术学院
华中科技大学电子科学与技术系
-
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2010年第12期2776-2783,共8页
-
基金
国家自然科学基金项目(60973035)
中央高校基本科研业务费专项资金资助项目(HEUCF100606
+1 种基金
HEUCF100604
C2009Z028J)
-
文摘
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
-
关键词
可靠性
软件实现的硬件故障容错
控制流错误检测算法
验证模型
-
Keywords
Reliability
SIHFT（software implemented hardware fault tolerance）
Control flow error checking algorithm
Verification model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
