检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001
出 处:《计算机研究与发展》2011年第3期528-534,共7页Journal of Computer Research and Development
基 金:航天科技创新基金项目(CASC0409)
摘 要:主要研究了基于空间注入技术的软件故障注入(software-implemented fault injection,SWIFI)实验与分析中存在的问题.提出了并设计了2种基于空间注入技术的注入方式:等待方式与冲击方式,分别设计了2种方式的注入算法,并利用它们分别进行了故障注入实验,通过实验着重分析了注入地址不同的空间分布对实验产生的影响.详细讨论并分析了基于不同空间地址概率分布的故障注入实验问题,根据实验结果得出并证明结论,针对空间注入技术实施的2种注入算法在执行软件故障注入实验时总存在一种相对较优的注入方案.As an analysis method of software dependability,software-implemented fault injection(SWIFI)has been concerned and studied for a long time.Many injectors have been designed to implement injecting experiments.These injectors run on different platforms and have different test goals.In this paper,a software-implemented fault injector is designed to run on Windows NT platform.The aim is to test and evaluate reliability of software that will work in high-radiation environment.In such environment,SEU(single event upsets)is a main reason that causes failure of software.In our injector,SEU is emulated by flipping one-bit or multi-bits in memory or registers and memory injecting is the research focus.In order to perfect injecting theory and experimental technique,some related issues are studied in this paper.Based on memory space injecting technique,two injecting methods are designed and time complexity is computed respectively.Two kinds of injecting experiments are implemented according to these methods.Usually fault injecting experiment is time-consuming and ineffective,so it is important to choose an injecting plan that can optimize tests.The different distributions of location random variable X are used to implement experiments.Through comparative analysis of the experimental results,a conclusion is made that there is always an injecting plan that can significantly optimize experiments.
关 键 词:单粒子效应 软件故障注入 概率分布 注入空间 失效率
分 类 号:TP302[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222