航空工程进展2024，Vol.15Issue(4)：100-112,120,14.DOI:10.16615/j.cnki.1674-8190.2024.04.12
基于AADL2SPN的飞行控制系统可靠性分析
Reliability analysis of flight control system based on AADL2SPN
摘要
Abstract
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 reli-ance 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 pro-posed.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 informa-tion of AADL model.Based on the SPN model,Monte Carlo simulation is used to evaluate the reliability of the lat-eral 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 generat-ed 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)/飞行控制系统Key words
system reliability/model-based design/AADL/SPN/flight control systems分类
航空航天引用本文复制引用
罗文斌,陆中,程大炜,缪炜润..基于AADL2SPN的飞行控制系统可靠性分析[J].航空工程进展,2024,15(4):100-112,120,14.基金项目
国家自然科学基金(U1733124) （U1733124）
民航安全能力建设基金(2021-196) （2021-196）
航空科学基金(20180252002) （20180252002）
