摘要：针对当前FPGA测试过程中,板级测试存在的实施代价高、测试充分性受限、测试可信度差等问题,提出了一种自动的、实时的、非侵入性的闭环半实物仿真测试环境,通过真实的物理接口测试技术、动态总线数据技术和外部对象仿真建模技术,将目标FPGA运行环境映射至板级自动化仿真测试环境,并对测试环境进行任务结构、物理结构的定义和划分,围绕测试数据的产生消费过程设计测试环境的工作过程,最后基于该框架开发了测试工具的基本原型,并在测试项目中取得了较好的效果.

摘要：为支持装备故障诊断的设计实现,结合某航电系统案例,介绍了一种基于仿真的嵌入式诊断设计方法。其通过合并测试性仿真和EDA(电子设计自动化)电路仿真的结果,基于相关性矩阵理论和信号采集及处理理论,可建立起适用于嵌入式诊断设计的完整诊断策略。该方法提供了将仿真所得的优化诊断策略应用于实际工程设计的有效途径。可指导装备嵌入式诊断设计的实现,并有效改善装备的诊断能力和测试性水平。

摘要：分析了综合航电软件特性和体系结构,总结了软件测试需求。对综合航电软件测试环境进行了初步研究,提出了具有三层软件体系结构的仿真测试环境,能够满足综合航电软件的测试需求。通过基于任务的测试仿真模型与测试配置蓝图,能够解决实时测试数据激励与收集和动态测试配置的关键技术。通过原型系统的测试,验证了测试环境软件体系结构的应用性和正确性。

摘要：针对目前测试性验证试验理论不完全适合工程应用的现状,按照测试性验证试验设计流程先后顺序,阐述了在样本量确定和分层抽样中遇到的具体问题,结合基于二项分布的测试性验证试验的方案设计理论,提出了面向不同样本空间的按比例分层抽样方法,同时对原有测试性验证试验理论中样本量和故障判据的确认方法进行修正,实现工程适用的测试性验证方法。本修正方法从测试性验证试验的基本原理上确保了试验验证的准确性和合理性,对工程应用具有一定的指导性。

摘要：针对装备研制阶段维修时间度量缺乏有效方法的问题,探讨了一种基于虚拟维修模型的维修动作要素(简称动素)时间度量方法,为后续深入开展基于多层次赋时Petri网(HTPN)的维修时间度量奠定基础。首先,在虚拟维修仿真的基础上,按照维修事件分层设计的方法,提出了"维修事件-维修活动-维修动素"的维修过程层次化分解结构。针对底层维修动素时间度量问题,提出了基于改进模特法的维修动素时间度量方法。然后,将维修动素流程数据映射至Petri网,构建了基于HTPN的维修过程模型。最后,通过实例对上述方法进行了应用分析。

摘要：为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技术的快速更新DO-178B所表现的不足。说明了对DO-178B进行更新的必要性,并将即将发布的新版本DO-178C与DO-178B进行了对比。根据对比结果重点分析了DO-178C的4个新增特性。对DO-178C所带来的影响以及未来应用进行了展望。