基于故障注入技术的航天器系统级软件测试方法研究

针对航天器系统级软件故障模式测试特点及难点,对故障注入技术在航天器系统级软件测试的工程应用进行经验总结。详细说明了系统级软件故障模式测试的基本原理,从应用对象的角度出发将故障注入技术进行合理分类,提出了3种适用于航天器系统级故障注入技术。根据现有工程实践经验,结合系统级故障模式测试设计理论,对系统级故障注入技术从实现原理、地面系统连接方式、故障注入与系统响应时序关系等方面进行了研究,并在此基础上提出了航天器系统级星载软件故障模式测试验证的具体应用方法、适用场景及优缺点,可为航天器系统级电测中的软件测试设计提供参考。     

一种XILINX7系列FPGA的抗单粒子翻转加固技术

为解决XILINX公司7系列FPGA受SEU (单粒子翻转)的影响,采用一种基于软件错误缓解IP核(SEM IP)的新型回读刷新技术,使用SEM IP的故障注入方法并进行故障注入实验及单粒子实验。实验证明,该技术可在FPGA配置位流数据结构未知的情况下,以帧为单位对XILINX 7系列FPGA的配置位流进行比对及纠错,从而实现抗SEU加固。     

一种用于星载系统可靠性评测的软件故障注入工具

随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。     

一种用于检测自动测试系统故障冗余机制的故障注入方法的研究与应用

鉴于自动测试系统研究中缺乏确认其故障冗余属性的手段,提出一种基于对比策略的故障注入系统。系统采用硬件注入和软件仿真相结合的方法实现,故障注入由专门研制的电压信号发生器、电流信号发生器、后驱动电路完成,自动测试系统的正常运行通过软件仿真完成。实验结果表明利用该系统能发现自动测试系统的软件缺陷,并能对其故障冗余属性进行确认。     

一种基于VxWorks的星载计算机软件故障注入方法研究

给出了一种基于VxWorks的模拟单粒子效应的软件故障注入方法.该方法基于航天领域常用的多任务实时操作系统VxWorks,通过软件注入故障来模拟空间辐射环境引发的星载计算机硬件的单粒子事件.对软件故障注入的流程进行了详细说明,并在硬件开发平台上进行了验证.实验测试结果表明,该方法能够有效地对星载系统可靠性进行评测,并且具有操作简便、对目标系统影响小,不会对目标系统造成损伤等优点.     

通用容错测试仪GFTE的设计与实现

故障注入是一种有效的测试和评价容错机制的方法 ,可被普遍应用于容错计算机系统开发的各个阶段中。本文提出了一种基于嵌入式故障注入的容错设备测试方案 ,称之为GFTE ,是针对以 80 4 86 ,80 386 ,80 86为处理器的容错计算机系统设计的。文中详细讨论了GFTE的三个组成部分 :测控模块、通用管理模块和注入器的设计 ,并介绍了这三个部分所采用的实现方法     

验证BIT测试性指标的总线级故障注入系统及其设计

文章详细分析了机内测试(BIT,Built-in test)系统的测试性指标验证和评价的重要性与实用性,并着重介绍了用于BIT测试性指标验证的总线级故障注入系统及其硬件、软件设计以及该系统的工作流程,并通过时序分析证明了该系统进行实时故障注入的可实现性和可操作性,最后给出了该系统进行故障注入试验后的软硬件试验结果。     

1553B总线故障注入测试方法研究

随着1553B总线在航空航天领域的广泛应用,对其可靠性、测试性的要求日益迫切。而一般的1553B总线测试均是在传统方法上的正向测试,即针对输入的激励测试输出的响应,因此无法覆盖到更多在异常状态下的测试环境。为了增大测试覆盖性,本文将故障注入思想引入到1553B总线测试中,分别对总线物理层、电气层和协议层中典型的测试用例进行故障注入的故障模式和实现方法研究,实验的结果验证了故障注入测试方法可以实现预期的故障目标。     

一种临近空间艇载计算机故障检测与系统重构方法

平流层飞艇是可靠性要求很高的系统,需要由具有容错能力的艇载计算机来进行控制和管理。针对艇载计算机采用的余度结构,进行软件管理策略的研究和设计,提出基于异构总线的握手机制节点故障检测方法、基于"看门狗"与"心跳"相结合的CPU故障检测方法、基于节点健康矩阵的互援式总线重构方法及基于有限状态机的多CPU并行处理系统自适应重构方法。在故障注入试验中,艇载计算机在遇到故障时能够实时检测出故障,诊断故障类型,并对故障进行处理,实现系统重构,保证了平流层飞艇长期驻空时的安全飞行。     

卫星抗辐射加固技术

分析了FY－1C卫星运行轨道空间辐射环境，介绍了整星、单机、器件抗辐射要求。卫星研制过程中，对各单抗和系统在技术设计、元器件设计、软件编制等的抗辐射加固设计要求。特别对有CPU和存储器的单粒子翻转效应（SEU）和闩锁效应（SEL）试验。仪器和系统的软件均用故障注入的方法完成了抗SEU的仿真试验。     

基于Mentor EDA系统的模拟电路故障仿真器

模拟电路故障仿真器是故障字典法用于故障诊断所需的基本工具。本文基于ＭｅｎｔｏｒＥＤＡ系统设计一种能自动生成模拟电路故障字典的仿真器，并提供专家分析的辅助工具，实现在ＥＤＡ环境中的故障诊断。     

通过纯软件的方法测试数字处理器的故障敏感性

对于工作在高辐射太空中的飞行器而言，它不可避免会受到单粒子效应的影响。因此，如何预测飞行器中单粒子效应敏感区域以便加强保护措施是一件很重要的工作。但事实上，要预测单粒子效应对飞行器的影响并不容易。本文给出了一种通过纯软件来评测飞行器系统对单粒子效应的敏感程度的方法——软件故障注入法——这也是评测微电子电路可靠性极具前景的方法。该方法采用高效的汇编语言在汇编级实现，对目标系统不会造成损伤，并且使用方便。试验的结果表明，目标处理器对于单粒子翻转的敏感性大约为1．38％到2．35％，且寄存器的敏感性要高于内存区。     

运载火箭控制系统故障诊断系统

研究了运载火箭控制系统故障诊断系统的技术策略和实现途径,提出了基于仿真分析的分层次的故障模型结构和分级的故障诊断系统结构,以及适用于火箭控制系统的综合字典的逻辑结构和字典动态管理方法,专家辅助工具在一定程度上实现了对常见多故障和软故障的诊断.研究结果在实际系统中进行了验证.     

控制系统的故障诊断方法综述

介绍了控制系统故障诊断的原理 ,将控制系统故障诊断分为两类 ,即基于解析模型和不依赖控制系统解析模型的故障诊断方法 ,对各种方法进行了详细的评述 ,并给出其应用总结 ,最后对其发展进行了展望     

一种基于小波和人工神经网络的故障检测与诊断方法

提出了一种基于小波和人工神经网络的故障检测与诊断的方法，该方法利用小波包分解的精确细分的特点，分别对正常系统和故障系统的采样信号进行精确特征提取，并构造一系列基于信号能量且具有表征系统状态能力的特征向量，然后利用人工神经网络分类器对系统在各种状态下的特征向量进行分类决策，从而实现对系统的故障检测与诊断。     

空间飞行器推进系统的故障检测

文中采用基于人工智能条件下的专家系统知识，应用门限算法进行故障特性提取和相应的故障推理机制研究，在由大量小发动机组成的空间飞行器推进系统实验中进行应用，通过已有的实验数据，离线回放表明此方法具有实时检测功能，可以解决工程实际问题。     

一种面向输出响应的多频测试故障检测与隔离方法

介绍一种在测点访问有限的情形下 ,针对模拟电路外接口的响应信息进行故障检测和隔离的方法。在构建连续的故障字典曲线的基础上 ,通过仿真实验 ,探讨并验证了利用多频测试来积累故障误差 ,构建误差曲线以检测和判别故障器件的实现思路。