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

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

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

基于故障注入模型的电传飞控系统安全性分析

安全性分析既是飞机研制中提高安全性的主要手段，也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全性分析方法滞后于系统的设计过程，且高度依赖于分析人员的技术和经验，无法满足现代飞机复杂系统研制的需求。针对电传飞控系统提出了一种基于模型的安全性分析方法。使用Simulink分别构建了典型电传飞控系统的名义模型和拓展模型，利用单故障注入后的系统响应提出了故障影响的分析方法，以支持故障模式及影响分析的开展，基于状态遍历实现了组合故障注入，并利用组合故障注入后的系统响应提出故障树最小割集的分析方法，最后结合工程案例说明了本文方法的正确性与有效性。与经典的马尔可夫分析方法相比，该方法避免了对设计人员经验的依赖并且具有更高的精度；当系统方案修改时，该方法能直接更新安全性分析结果，避免了重新建模分析的繁琐工作。     

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

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

故障注入器功能设计

对于容错计算机的验证 ,必须模拟在系统运行出现故障的情况下 ,容错计算机对故障的检测、隔离和定位能力。所以 ,需要研究故障注入技术。故障注入是通过一定的方法 ,按照一定的控制 ,改变计算机内部硬件或软件的状态 ,使其出现预先定义的故障状态 ,由此触发容错计算机的故障逻辑 ,验证故障逻辑的功能和性能。     

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

 设计实现了一种自动控制故障注入设备，给出了设备的结构框图和主要模块的功能框图。阐述了该设备在设计上具有的通用性、可扩展性、无破坏性和易操作性等特点，以及对应的设计措施。利用该设备进行了故障注入试验，给出了典型故障注入的信号波形，验证了故障注入设备的可用性和效果。     

基于FMECA的测试性验证分析

随着装备元件的集成度越来越高,对装备测试性的要求越来越高。良好的测试性设计可以有效地提高产品维修性,降低全寿命周期费用。在对通用处理单元进行故障模式、影响和致命度分析(FMECA)的基础上,建立了产品的测试性模型,进行了测试性验证试验,并对验证结果进行分析。     

边界扫描技术在电子控制器测试中的应用研究

航空发动机电子控制器向更高性能和更高集成度的方向发展,使得传统测试方法难以满足需要。本文提出了通过边界扫描技术来解决电子控制器核心电路的测试问题。为了论证这一方案的可行性,设计了边界扫描测试技术验证平台,主要包括边界扫描测试适配器和被测电路。对被测电路开展了基于边界扫描的测试试验,完成了主要指令的测试。同时通过扫描链实现了对被测电路的故障注入,通过这种方法注入故障可对航空发动机电子控制器的机内测试（BIT）能力进行验证。本文探索了边界扫描测试技术在航空发动机电子控制器中的应用     

星载软件无线电平台及其单粒子效应研究方法

结合国内外研究进展,介绍了软件无线电技术在星载设备中的应用,给出了一种星载软件无线电平台的结构.针对单粒子效应对星载软件无线电平台可靠性影响,提出了一种软件无线电平台对抗单粒子效应的设计与验证方法,并给出了针对该平台中FPGA和DSP的故障注入方法.这种抗单粒子效应的研究方法和故障注入方法代价低、设计灵活,在某卫星星载多用户扩频接收机的可靠性设计过程中得到了验证和实施,使低等级高性能器件在星载信号处理平台中的应用成为可能.