用于程序循环控制的错误检测算法

邹宇; 薛小平; 张芳; 潘勇; 潘腾

首页> 中文期刊> 《计算机应用》 >用于程序循环控制的错误检测算法

用于程序循环控制的错误检测算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术(ANBD)码的循环控制错误检测算法.该算法通过ANBD码,将程序变量编码为含签名的码字.通过校验码字签名,检测循环控制错误.运用ANBD码中的时间标签,可检测内存未更新错误.另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误.该算法理论错误漏检概率为1/A,其中A为编码素数,选取97 ～ 10993的素数进行错误漏检概率测试,得到理论模型与测试结果的归一化均方误差(NMSE)约为-30 dB.测试结果表明,该算法可检测循环控制中出现的各类错误,且编码素数A接近232时,错误漏检概率可达10-9,能够满足安全苛求系统的应用要求.

著录项

来源
《计算机应用》 |2015年第12期|3450-3455|共6页
作者
邹宇; 薛小平; 张芳; 潘勇; 潘腾;
展开▼
作者单位

同济大学电子与信息工程学院;

上海 201804;

同济大学电子与信息工程学院;

上海 201804;

同济大学电子与信息工程学院;

上海 201804;

同济大学电子与信息工程学院;

上海 201804;

上海交通大学密西根学院;

上海200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类容错技术;
关键词
循环控制; 错误检测; 含签名和时间戳的算术(ANBD)码; 签名;

相似文献

中文文献
外文文献
专利

1. PLC时间顺序循环控制程序设计常见错误分析 [J] . 刘哲 ,黄建荣 ,程仲文 . 兰州工业学院学报 . 2000,第004期
2. 基于结构化标签的控制流错误检测算法 [J] . 张鹏 ,朱利 ,杜小智 . 计算机工程 . 2016,第006期
3. 基于签名的控制流错误检测算法检测能力的验证模型 [J] . 吴艳霞 ,顾国昌 ,戴葵 . 宇航学报 . 2010,第012期
4. 基于虚拟寄存器的控制流错误检测算法 [J] . 高星 ,廖明宏 ,吴翔虎 . 宇航学报 . 2007,第001期
5. 用于控制循环汽包锅炉、低倍率循环锅炉和复合循环锅炉的炉水循环泵 [J] . 朱健 . 锅炉技术 . 1987,第005期
6. 用于简化Java循环语句的一种程序变换方法 [C] . 王众 ,廖湖声 . 全国第五届Java技术及应用学术交流会 . 2002
7. 用于程序错误定位的运行路径聚类方法 [A] . 吕春燕 . 2011

用于程序循环控制的错误检测算法

摘要

著录项

相似文献

相关主题

期刊订阅