民机飞控系统需求符合性验证技术和实现方法研究

作     者：蒲优华 李立 倪晓彬 

作者机构：中国航空工业集团公司西安飞行自动控制研究所 

出 版 物：《机械科学与技术》 (Mechanical Science and Technology for Aerospace Engineering)

年 卷 期：2024年

核心收录：

学科分类：08[工学] 081105[工学-导航、制导与控制] 0811[工学-控制科学与工程] 

基　　金：工信部民机科研专项 

主　　题：符合性验证 故障注入 系统内总线 测试场景 故障模式 充分性准则 

摘      要：本文针对民机电传飞控系统需求符合性验证过程中对信号仿真、信号控制或故障注入的要求，提出了基于飞控系统内总线仿真和直接针对飞控系统软件参数进行实时注入或更新的验证技术和实现方法。该技术和方法的使用，可实现完整覆盖系统需求符合性验证过程中所需的测试场景和测试用例的生成，特别是利用实物产品无法生成，或者生成会对实物产品产生破坏的故障场景，以及产品实际运行过程中出现概率较低的故障模式的验证。此外，本文还初步分析了基于所提技术和方法开发的测试用例和测试结果等测试数据，提高了测试覆盖率的同时，也使系统测试更优地满足测试充分性准则的要求，为后续在测试验证工作中通过准则评价测试充分性提供了理论依据。