| 基于签名的控制流错误检测算法检测能力的验证模型 |
| |
| 引用本文： | 吴艳霞,顾国昌,戴葵,沈晶,刘海波.基于签名的控制流错误检测算法检测能力的验证模型[J].宇航学报,2010,31(12). |
| |
| 作者姓名： | 吴艳霞 顾国昌 戴葵 沈晶 刘海波 |
| |
| 作者单位： | 1. 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001
2. 华中科技大学电子科学与技术系,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金项目(60973035); 中央高校基本科研业务费专项资金资助项目(HEUCF100606,HEUCF100604,C2009Z028J) |
| |
| 摘 要： | 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
|
| 关 键 词： | 可靠性 软件实现的硬件故障容错 控制流错误检测算法 验证模型 |
A Verification Model for Checking Ability of Signature-Based Control Flow Error Checking Algorithm |
| |
| WU Yan-xia,GU Guo-chang,DAI Kui,SHEN Jing,LIU Hai-bo.A Verification Model for Checking Ability of Signature-Based Control Flow Error Checking Algorithm[J].Journal of Astronautics,2010,31(12). |
| |
| Authors: | WU Yan-xia GU Guo-chang DAI Kui SHEN Jing LIU Hai-bo |
| |
| Institution: | WU Yan-xia1,GU Guo-chang1,DAI Kui2,SHEN Jing1,LIU Hai-bo1(1.College of Computer Science and Technology,Harbin Engineering University,Harbin 150001,China,2.Department of Electronic Science & Technology,Huazhong University of Science of Technology,Wuhan 430074,China) |
| |
| Abstract: | The signature-based control flow error checking algorithm is mainly evaluated through experiment testing.However,because of the uncertainty in a control flow error model,the test result is always of some deviation.The verification model is tried to estimate the error checking ability of the control flow algorithm.At first,the control flow error checking algorithm based on signature is expatiated.Then a control flow error jump relationship expression method is proposed,and two kinds of factors which may infl... |
| |
| Keywords: | Reliability SIHFT(software implemented hardware fault tolerance) Control flow error checking algorithm Verification model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
