-
题名基于签名的控制流错误检测算法检测能力的验证模型
- 1
-
-
作者
吴艳霞
顾国昌
戴葵
沈晶
刘海波
-
机构
哈尔滨工程大学计算机科学与技术学院
华中科技大学电子科学与技术系
-
出处
《宇航学报》
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
[自动化与计算机技术—计算机软件与理论]
-