检索结果-维普期刊中文期刊服务平台

高效的部分冗余容错编译：复制错误流关键子图被引量：3: 1; 作者高珑王之元杨学军《软件学报》 EI CSCD 北大核心 2007年第9期2105-2116,共12页; 传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设... 展开更多; 关键词面向硬件故障的软件容错错误流模型关键子图部分冗余容错编译; 在线阅读下载PDF 职称材料

汇编级软硬结合的控制流检测方法被引量：3: 2; 作者吴艳霞顾国昌 +2 位作者戴葵刘海波沈晶《计算机研究与发展》 EI CSCD 北大核心 2010年第8期1481-1489,共9页; 控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,... 展开更多; 关键词可靠性硬件故障容错控制流检测技术控制流图基本块; 在线阅读下载PDF 职称材料

改进的CFCSS控制流检测算法被引量：1: 3; 作者李静梅吴艳霞 +1 位作者沈晶张健沛《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第6期814-819,共6页; 针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了... 展开更多; 关键词可靠性硬件故障容错控制流检测技术基本块; 在线阅读下载PDF 职称材料

基于签名的控制流错误检测算法检测能力的验证模型: 4; 作者吴艳霞顾国昌 +2 位作者戴葵沈晶刘海波《宇航学报》 EI CAS CSCD 北大核心 2010年第12期2776-2783,共8页; 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流... 展开更多; 关键词可靠性软件实现的硬件故障容错控制流错误检测算法验证模型; 在线阅读下载PDF 职称材料

题名高效的部分冗余容错编译：复制错误流关键子图被引量：3: 1; 作者高珑王之元杨学军; 机构国防科学技术大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2007年第9期2105-2116,共12页; 基金 Supported by the National Natural Science Foundation of China under Grant No.60621003(国家自然科学基金); 文摘传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.; 关键词面向硬件故障的软件容错错误流模型关键子图部分冗余容错编译; Keywords SIHFT（software implemented hardware fault tolerance） error flow mode critical subgraph partialredundancy fault tolerance compilation; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名汇编级软硬结合的控制流检测方法被引量：3: 2; 作者吴艳霞顾国昌戴葵刘海波沈晶; 机构哈尔滨工程大学计算机科学与技术学院华中科技大学电子科学与技术系; 出处《计算机研究与发展》 EI CSCD 北大核心 2010年第8期1481-1489,共9页; 基金国家自然科学基金项目(60973035) 中央高校基本科研业务费专项资金资助项目(HEUCF100606 +1 种基金 HEUCF100604 C2009Z028J)~~; 文摘控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,首先阐述了CFCSS算法中存在的检测混淆和检测出错现象;接下来根据汇编语言特点,修改了基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的ICFCSS控制流检测算法;为了在ICFCSS算法基础上进一步提高错误检测能力、降低故障延迟时间和冗余指令开销,提出了软硬结合的ICFCSSHS控制流检测方法,此方法在编译程序时只增加了和签名有关的信息,在程序运行时通过译码阶段判指令类型来触发相应的硬件完成控制流检测.实验表明,此方法的冗余代码空间开销比CFCSS算法减少了21.5%,平均未检测出错误率仅为1.5%,具有一定的使用价值.; 关键词可靠性硬件故障容错控制流检测技术控制流图基本块; Keywords reliability hardware fault tolerance control flow checking technique control flow graph basic block; 分类号 TP302.8 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名改进的CFCSS控制流检测算法被引量：1: 3; 作者李静梅吴艳霞沈晶张健沛; 机构哈尔滨工程大学计算机科学与技术学院; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第6期814-819,共6页; 基金国家自然科学基金资助项目(61003036 60873037); 文摘针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了硬件故障容错性能上的不足,改进算法克服了出错问题的发生.实验表明:此检测算法的平均未检测出错误率仅为2.9%.; 关键词可靠性硬件故障容错控制流检测技术基本块; Keywords reliability hardware fault tolerance control flow checking technique basic block; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

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

	题名	作者	出处	发文年	被引量	操作
1	高效的部分冗余容错编译：复制错误流关键子图	高珑王之元杨学军	《软件学报》 EI CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
2	汇编级软硬结合的控制流检测方法	吴艳霞顾国昌戴葵刘海波沈晶	《计算机研究与发展》 EI CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
3	改进的CFCSS控制流检测算法	李静梅吴艳霞沈晶张健沛	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
4	基于签名的控制流错误检测算法检测能力的验证模型	吴艳霞顾国昌戴葵沈晶刘海波	《宇航学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料