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

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

基于模型的软件接口故障注入测试平台技术

针对软件接口类型多、接口故障注入自动控制复杂的困难以及目前缺少有效的软件接口故障注入工具现状,对软件故障注入中的交联接口故障注入技术展开研究,提出了一种基于模型的软件接口故障注入测试平台技术。通过交联接口测试可视化建模和接口故障注入算子设计,自动生成XML 格式的测试用例,并且通过基于XSLT的脚本自动化生成与执行技术实现测试的控制与执行。故障注入测试主机与接口故障注入器网络连接,接口故障注入器将接口故障数据转换成以太网、串口或CAN网络数据注入到被测软件中,并返回被测件输出数据到测试主机实现测试数据收集与判断。基于模型的软件接口故障注入测试平台具有较强的通用性与易用性,提高了接口故障注入测试的效率,降低了接口测试的成本。     

软件故障注入方法探究

本文研究了目前已有的软件故障注入工具,时各工具所采用的故障注入方法及缺点进行了总结,并在此基础上介绍了常用的方法.对他人对软件故障注入技术的研究,具有一定的指导作用.     

无人机动态测试中的故障注入研究

研究了一种在无人机动态测试中对飞行控制系统进行故障注入试验的专用系统——故障注入与分析系统。本课题首次将故障注入的方法和技术应用于无人机动态测试中,是无人机飞行控制系统研制、试验及性能评价的有效手段。与以往的故障注入研究不同的是,本文没有采用较常用的硬件实现方法,而是采用软件模拟的方法实现了硬件故障注入,大大降低了故障注入的实施难度,也减小了故障注入试验对目标系统的危险系数。     

故障注入技术在系留气球中的应用

本文首先讨论了常规测试和故障注入技术所运用的领域,其次介绍了故障注入技术的原理、分类,并根据在系留气球使用过程中碰到的各种问题,进行了研究分析,提出了相应的故障注入方法,最后通过故障注入试验,证明了方法的有效性。     

分布式星载系统故障注入研究

基于软件的故障注入是对星载计算机系统可靠性进行的一种评测技术.本文首先提出了用软件方法进行的故障注入系统,并提出故障注入模型;其次阐述了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFID),最后对实验结果进行了分析.     

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

基于VHDL的故障注入技术研究

与其他故障注入技术相比,基于VHDL的故障注入技术具有很大的优点.首先,它可用于系统的设计阶段,减少产品推向市场的时间;其次,它具有很高的可控性和可观察性.对基于VHDL的故障注入技术进行了研究,分别研究了基于仿真命令、破坏和突变的故障注入技术,最后对这3种技术进行了简单的比较.     

航电中继系统多通道ARINC429总线故障注入方法

针对民用飞机航电系统集成测试中多通道故障并行注入的问题,研究ARINC429总线故障注入方法并实现功能设计;首先,分析航电中继系统的数据交互方式,设计基于航电中继系统的故障注入架构,研究基于反射内存通信网络的多通道并行故障注入方法;然后,分析ARINC429总线在协议层和应用层的故障类型和对应的注入方式,并完成故障注入功能的逻辑设计;最后,基于航电中继系统搭建故障注入实验平台,进行故障注入实验;实验结果表明,所研究的故障注入方法能够有效完成多设备、多通道航电总线在协议层和应用层的低延时故障注入,满足航电系统集成测试的要求。     

硬件产品故障注入测试研究

对DCS控制系统硬件产品的故障注入测试进行了研究,主要用于指导产品的硬件故障注入测试,通过故障注入测试更好地挖掘产品在设计方面的缺陷和不足,推动产品质量的提升。研究主要包含建立故障模型、故障注入测试方法、故障注入测试工具及平台等几个方面的内容。产品的硬件故障注入测试研究,是根据产品的应用环境,积累故障模型,测试时从故障模型库中提取故障模型,使用合理的故障注入方式,借助测试工具将故障注入到目标电路的过程,并监测产品在故障状态下的表现情况,根据测试标准进行正确的判断。故障注入测试技术是产品可靠性测试技术的重要内容,是一种行之有效的提高产品质量的手段。     

FTT—1：一个基于硬件的故障注入器的设计与实现

故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一人重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。     

液压系统故障注入与故障诊断仿真研究

通过机-电-液联合仿真等技术手段,构建了基于AMESim和MATLAB软件构建故障诊断数字仿真验证系统,实现机电液系统的故障模拟、注入与诊断仿真功能。并以某典型液压举升回路系统为对象,完成故障模式及诊断方法的研究,建立仿真模型、完成故障注入和诊断过程的演示验证。结果表明,该仿真系统可应用于类似系统、不同工况、不同故障模式的故障注入与故障诊断仿真,极大程度上提高了液压系统的可靠性的设计。     

非侵入式激光探针装备故障注入技术研究及应用

针对装备大规模集成电路测试性验证与评估需求,突破传统方式的故障注入难、耗资耗时等限制,开展半侵入式装备激光探针故障注入技术研究及应用;首先,研究了装备传统物理故障注入技术,分析了脉冲激光瞬态故障注入方式的可行性及作用机理;然后,建立了脉冲激光瞬态故障注入的能量传输模型,提出了基于线性传输和体积传输的脉冲激光能量计算方法;最后进行了试验验证;试验表明,该方法成功实现了典型故障模式的准确复现,可精确定位芯片内薄弱部位以指导装备优化设计.     

Application of case-based reasoning in a fault detection system on production of drippers

Injection molding has been a preferred production process in the fabrication of complex components. In this technique not only the injection machine and mold play important roles, but also different process parameters have strong effects on the quality of the final products. The production process might be stopped because of different types of faults on the production line. In this paper, a case-based reasoning (CBR) methodology is employed to implement an intelligent fault detection system for the production of injection molded drippers. This CBR system utilizes similar occurred faults to solve particular new problems. Case retrieval and similarity measurements are defined based on fault occurrence weight of features (fault’s causes). Application and accuracy of the proposed system are experimentally tested and validated through analyzing the current case study. The obtained results indicated that the implemented CBR system is able to detect the faults on the injection molding machine. By utilizing the proposed system machine downtime is reduced, speeded production with high productivity is achieved.     

Second order sliding mode observers for the ADDSAFE actuator benchmark problem

This paper presents the evaluation process and results associated with two different fault detection and diagnosis (FDD) schemes applied to two different aircraft actuator fault benchmark problems. Although the schemes are different and bespoke for the problem being addressed, both are based on the concept of a second order sliding mode. Furthermore both designs are considered as ‘local’ in the sense that a localized actuator model is used together with local sensor measurements. The schemes do not involve the global aircraft equations of motion, and therefore have low order. The first FDD scheme is associated with the detection of oscillatory failure cases (OFC), while the second scheme is aimed at the detection of actuator jams/runaways. For the OFC benchmark problem, the idea is to estimate the OFC using a mathematical model of the actuator in which the rod speed is estimated using an adaptive second order exact differentiator. For the jam/runaway actuator benchmark problem, a more classical sliding mode observer based FDD scheme is considered in which the fault reconstruction is obtained from the equivalent output error injection signals associated with a second order sliding mode structure. The results presented in this paper summarize the design process from tuning, testing and finally industrial evaluation as part of the ADDSAFE project.     

基于软件的星载计算机系统故障注入方法的研究

基于软件的故障注入是对星载计算机系统可靠性进行的一种评测技术。该文首先提出了用软件方法进行的故障注入系统SFIS,并提出故障注入模型;其次阐述了用软件方法进行动态故障注入的过程,最后对实验结果进行了分析。     

环境错误注入测试机制

环境错误注入是一种动态的测试软件脆弱性的技术，建立在对系统脆弱性分类模型的基础上，通过选择一个恰当的错误模型，测试系统有意识地触发软件内部存在的安全漏洞。该测试方法对于通常使用的静态检测方法，是一种重要的补充。文章论述了环境错误注入系统的一种实现机制。     

Development and application of sliding mode LPV fault reconstruction schemes for the ADDSAFE Benchmark

This paper describes the development and the evaluation of a robust sliding mode observer fault detection scheme applied to an aircraft benchmark problem as part of the ADDSAFE project. The ADDSAFE benchmark problem which is considered in this paper is the yaw rate sensor fault scenario. A robust sliding mode sensor fault reconstruction scheme based on an LPV model is presented, where the fault reconstruction signal is obtained from the so-called equivalent output error injection signal associated with the observer. The development process includes implementing the design using AIRBUS׳s the so-called SAO library which allows the automatic generation of flight certifiable code which can be implemented on the actual flight control computer. The proposed scheme has been subjected to various tests and evaluations on the Functional Engineering Simulator conducted by the industrial partners associated with the ADDSAFE project. These were designed to cover a wide range of the flight envelope, specific challenging manoeuvres and realistic fault types. The detection and isolation logic together with a statistical assessment of the FDD schemes are also presented. Simulation results from various levels of FDD developments (from tuning, testing and industrial evaluation) show consistently good results and fast detection times.     

基于LabView的装备故障设置与排除训练系统设计

为解决新装备故障分析与排除训练缺乏手段的问题,以开发某新型装备的故障排除训练系统设计为研究目标,运用故障树分析(FTA)方法,构建了重要分系统的故障树模型;通过对系统的功能需求分析,设计了系统运行的流程,构建了故障分析与排除系统的硬件结构;利用LabView平台开发出某新型装备的故障设置与排除训练系统;系统运行结果表明：满足了设计的功能需求,为维修保障训练中的故障分析与排除提供了方法手段和平台支持。     

基于FLSIM的实时飞行故障仿真系统

详细介绍了基于FLSIM的实时故障仿真系统的软件开发过程及相应的仿真结果.在Visual C 6.0编译环境下,采用面向对象的编程思想和MFC的编程方法,通过百兆局域网连接FLSIM,并在满足真实性和可靠性的前提下,建立了一个基于共享内存或网络的FLSIM实时飞行故障注入系统.在实时运行环境中,实现了动态可视化的飞行故障注入、飞行故障终止、飞行数据传输及通信功能,为达到一个完整的飞行仿真系统打下了基础.