Reliability analysis of flight control system based on AADL2SPN
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.
system reliabilitymodel-based designAADLSPNflight control systems
国家科技期刊平台
NSTL
万方数据
