基于AADL2SPN的飞行控制系统可靠性分析  

Reliability analysis of flight control system based on AADL2SPN

作　　者：罗文斌 陆中[1] 程大炜 缪炜润 LUO Wenbin;LU Zhong;CHENG Dawei;MIAO Weirun(College of Civil Aviation,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)

机构地区：[1]南京航空航天大学民航学院,南京211106

出　　处：《航空工程进展》2024年第4期100-112,120,共14页Advances in Aeronautical Science and Engineering

基　　金：国家自然科学基金(U1733124);民航安全能力建设基金(2021-196);航空科学基金(20180252002)。

摘　　要：飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri网(SPN)描述系统的故障传播行为,提出一种基于模型的可靠性分析方法;利用AADL构建某横侧向电传飞控系统的名义模型和错误模型,提出AADL模型中错误传播相关信息的提取方法,利用所提取信息自动生成描述系统故障传播行为的SPN模型;在此基础上,通过蒙特卡洛仿真完成该横侧向电传飞控系统的可靠性评估。经与故障树分析方法对比,结果表明:最大相对误差小于0.018%,满足工程需要;所构建的可靠性模型由AADL模型自动生成,能够确保可靠性模型与设计模型的一致性,避免了对设计人员经验的依赖。Flight control system is typical safety critical system,and the reliability of flight control system plays an important role in ensuring the safe operation of aircraft.Traditional reliability analysis methods have a heavy reliance on the experience of analysts,which makes it easy for inconsistencies between reliability models and design models.The fault propagation behavior of the system is thoroughly described by the Architecture Analysis Design Language(AADL) and stochastic Petri nets(SPN),and a method for model-based reliability analysis is proposed.The nominal model and error model of a lateral fly-by-wire flight control system are constructed using AADL.A method for extracting error propagation information from the AADL model is proposed,and the SPN model described the fault propagation behavior of the system is automatically generated by extracting the information of AADL model.Based on the SPN model,Monte Carlo simulation is used to evaluate the reliability of the lateral fly-by-wire flight control system,compared with the fault tree analysis method,the error is less than 0.018%,which can be neglected in practice.Through the method of this study,the reliability model is automatically generated by the AADL model,which ensures the consistency between the reliability model and the design model and avoids reliance on the experience of designers.

关 键 词：系统可靠性 基于模型的设计 架构分析设计语言(AADL) 随机Petri网(SPN) 飞行控制系统 

分 类 号：V240.2[航空宇航科学与技术—飞行器设计] V249.1