Adobe After Effect插件原理及其实现

根据某实际容错操作系统的具体情况,结合容错技术现状的分析,设计并实现了一个基于PC机的通用软件故障注入系统。研究的系统是在特定硬件环境的支持下运动的容错计算机操作系统,为了不对其硬件环境造成破坏,采取软件故障注入的方法对其进行了可靠性验证。设计的容错计算机系统可靠性验证仿真系统,可用于多种不同类型的容错软件的可靠性仿真和验证,对开发软件故障注入系统具有一定的启发和指导意义。     

基于FPGA的容错计算机故障注入研究

为了验证以FPGA为主控制器的容错计算机的可靠性,利用构造双NIOSII系统的方法,设计了模拟量、数字量、通讯量以及单粒子效应的故障注入系统。该系统可以通过软件由用户选择故障参数,对容错计算机进行故障输入。它无需改变原容错计算机的硬件设计,对原操作系统也无特殊的要求。     

一种基于数据流分析的故障序列生成方法

故障注入是一种测评容错机制的有效方法,它通过有意识地向目标系统引入故障来加速测试容错机制的试验过程.目前大多数故障注入实验中采用的故障序列都是通过随机抽样获取的,容易造成故障潜伏,从而导致容错机制的评测结果不准确.本文提出一种基于数据流分析的故障序列生成方法.提出<故障注入位置,故障注入时间,故障类型,故障掩码>的单粒子故障模型.在此基础上,通过数据流活跃变量分析计算得出故障注入位置属性,以及定值-引用分析确定了故障注入时间属性.并以PowerPC8548处理器和它对应的Trace模拟器为实验平台,验证了该故障序列生成方法具有90%以上的失效加速比,较好地解决了故障潜伏问题.     

嵌入式星载计算机故障注入系统

空间环境中影响嵌入式星载计算机的主要因素包括温度、湿度、气压、光照、电磁干扰和空间高能粒子的辐射等;随着我国空间探测事业的发展,人们对星载系统可靠性的要求越来越高;容错技术是提高星载计算机系统可靠性的重要方法,为保证容错设计的正确性和容错机制的效率,需要采用辅助的技术对容错系统进行验证;故障注入技术是评测星载计算机容错机制的一种有效方法。     

基于软件故障注入模型的容错软件可靠性评测

为了灵活准确地用故障注入技术对容错软件进行可靠性评测，通过对故障注入及容错软件可靠性评测的分析，采用分布式结构，提出了一个动态生成一静态存储一动态触发的故障注入模型，它将故障生成和故障触发分开在不同的机子上实现，从而在保证评测准确性的前提下，解决了故障需求复杂、故障生成困难及目标系统额外负载过大等问题，实现了一个较为理想的故障注入模型；最后，通过在航天某型号容错软件上的试验，证明了该模型的可行性。     

自动控制故障注入设备的设计与实现分析

作为产品测试性试验以及对容错系统进行严重的手段之一,故障注入是一项重要的技术手段。故障注入设备不仅能够对故障进行诊断,还能够对系统容错的能力进行评价。本文笔者从对自动控制故障注入设备的结构着手,分析了故障注入设备的设计,进而探讨了自动控制故障注入设备的实现,目的是为自动控制故障注入设备的使用提供指导和借鉴。     

嵌入式电力监控系统中温备份技术的研究与实现

嵌入式电力监控系统是一个对可靠性要求非常高的系统,需要具有容错能力的软件进行维护.针对嵌入式设备硬件资源及计算能力的限制,研究分析了影响备份系统可靠性的故障模型,提出了一种满足该模型的基于温备份的容错解决方案,深入讨论了在温备份的解决方案中实时数据的同步策略,给出了具体的设计与实现.按该同步策略,采用故障注入法对实现进...     

基于JTAG的硬件故障注入工具

可靠性是评价容错计算机的重要性能指标之一,评价系统的可靠性在计算机系统的设计及实现阶段都有重要意义,故障注入法是可靠性评测的一种常用方法.在通用的JTAG调试技术基础上,描述了一种针对CPU的硬件故障工具,并通过仿真实验进行了验证.该硬件注入工具基于IEEE标准,只要知道目标芯片的边界扫描链,就可以进行故障注入工作;同时,该工具对目标系统的故障注入工作由硬件完成,对操作系统透明,可以有效地突破操作系统的保护机制.     

面向安腾架构的分层内存故障注入方法

为研究内存故障对高可用服务器的影响,针对安腾架构的计算机提出一种多层次的内存故障注入方法,设计并实现一种新的故障注入器(HMFI),通过在物理层、操作系统内核层和进程层注入内存故障,考察目标系统对内存故障的容错能力。实验结果表明,HMFI注入的内存故障能够有效验证与分析复杂计算机系统的容错性能。     

一种验证分布式协议活性属性容错机制的模型检测方法

云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行.因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上.由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的.为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制.为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作.由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证.现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战.采用抽象模型检测方法会引入模型与实际系统不匹配的问题.同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题.本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证.同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题.此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径.LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工具进行轻微的修改;LTMC可以系统地发现分布式协议中指定类型的所有Bug.在本文最后,我们将LTMC应用到ZooKeeper和Cassandra的几个协议中,并与深度优先搜索作对比,可以发现LTMC有3.7～594.4倍的状态空间约减率.     

基于VHDL的故障注入工具的研究

基于VHDL的故障注入技术是一种验证系统可信性的有效方法,构造基于VHDL的故障注入工具是故障注入研究的一个重要组成部分.对基于VHDL的故障注入技术进行了研究,详细描述了该故障注入工具的结构和主要模块功能,并进行故障注入实验,分析和计算故障的激活率、探测率、恢复率.故障注入工具可用于对中等复杂度的VHDL模型进行故障...     

容错机制测评中的故障注入模型及应用算法

故障注入（ＦＩ）是一种有效的测试和评价容错机制（ＦＴＭ）的方法,可被普遍应用于容错计算机系统开发过程的各个阶段中。ＦＩ技术正确的更广泛的应用依赖于对ＦＩ原理的一致理解。文中首先详细讨论了ＦＩ的应用对象即ＦＴＭ在测评中所表现出来的若干下,在此基础上提出了六元组描述的ＦＩ模型,并对各组成元的属性进行了深入分析。同时,作为ＦＩ模型的具体应用过程,文中给出了ＦＩ独立试验算法（ＦＩ－ＩＥＡ）,并讨论了该算法     

用软件实现的故障注入工具评估错误检测机制

故障注入是容错计算机系统可靠性评估的征要手段,本文介绍了软件实现的故障注入工具ＳＯＢＦＩ设计与实现,用ＳＯＢＦＩ对ＲＳ６０００工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估,结果表明,在非容错商用计算机系统中加入简单折软件实现的错误检测机制,也呆以达到很高的错误检测覆盖率。     

并行计算机系统容错设计

容错设计是提高计算机系统可靠性的有效手段。本文提出了一种分布共享主存的并行计算机系统的容错结构，着重分析了结构采用的故障诊断机制，提出了系统中备份节点机配置的优化策略。     

分布式共享主存结构动态检查点技术的应用研究

介绍在传统检查点技术的基础上提出一种面向分布式共享主存结构计算机节点瞬时故障的动态检查点技术。通过对节点及其运行进程的实时监控数据的分析，给出检查点的引入、保存、恢复和取消的容错技术策略。同时分析该技术在一定的故障模型下，对不同应用程序的有效程度及其应用开销。目的是希望使检查点序列在覆盖故障点的同时，尽可能降低保存检查点的次数，提高系统运行效率。     

液压系统故障的识别与诊断

本文根据不同级别的故障诊断技术要求和液压系统特点,从压力脉动信号中提取故障信息,采用自回归模型参数作故障特征、用模式识别技术对系统各种状态进行分类,形成一种液压系统故障识别与诊断的方法。在泵源系统故障诊断试验研究中,采用三种分类方法,对不同传感器位置、不同模型阶次和样本容量时的确诊率、漏警率和虚警率作了比较。诊断方法原理正确,效果良好,具有很好的应用前景。     

Fault injection for dependability validation: a methodology andsome applications

The authors address the problem of validating the dependability of fault-tolerant computing systems, in particular, the validation of the fault-tolerance mechanisms. The proposed approach is based on the use of fault injection at the physical level on a hardware/software prototype of the system considered. The place of this approach in a validation-directed design process and with respect to related work on fault injection is clearly identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. Emphasis is put on the definition, analysis, and use of the experimental dependability measures that can be obtained. The proposed methodology has been implemented through the realization of a general pin-level fault injection tool (MESSALINE), and its usefulness is demonstrated by the application of MESSALINE to the experimental validation of two systems: a subsystem of a centralized computerized interlocking system for railway control applications and a distributed system corresponding to the current implementation of the dependable communication system of the ESPRIT Delta-4 Project     

故障注入研究的一种理论框架

本文讨论了故障注入研究中的一些基本问题,为故障注入的研究建立了统一的理论框架。     

Linux平台上软件实现的PCIE总线故障注入系统

高端服务器广泛采用PCIE总线作为I/O接口提供网络、存储等服务,PCIE总线故障会严重影响服务器提供可靠的服务.为了测试高端服务器的软硬件系统对PCIE总线故障的容错能力,阐述了基于软件的故障注入思路,设计并实现了基于软件的故障注入系统.经过实验,收集了一些测试数据,验证了故障注入系统的有效性,并分析了实验系统对PCIE总线的容错机制.     

基于软件故障注入的容错性能评测技术

软件故障注入是评测复杂的分布式、网络等容错系统的重要手段，可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验，分析了软件故障注入工具及其故障注入方法，并提出基于Windows2000系统的双机网络容错系统评测方法。