Modeling And Reliability Verification Of Flight Control Software Based On AADL

The functions of flight control systems are becoming more and more complex.Therefore,in the case of ensuring high reliability of flight control software,the resource consumption caused by relying only on software testing is also increasing.In order to improve the reliability of the flight control software and reduce resource consumption,this paper combined with the research of some research scholars proposed a combination of fault tree failure degree allocation method,and designed a reliability verification scheme based on AADL(architecture analysis & design language).This scheme is mainly aimed at the verification of software non-functional attributes,and does not involve specific function implementation,algorithm research and corresponding module model function description.First,this paper designs flight control software according to general requirements,and then describes the software structure and characteristics with AADL modeling specifications,and performs AADL modeling on the flight control software.In the modeling process,the system architecture,module port characteristics,functional item input and output demand characteristics and data links of the modeling object are mainly considered.The attributes that are easy to be realized by the AADL,and according to the needs of the simulation part,the internal software will be used in the model Attribute descriptions such as execution time,time limit,and non-preemptive priority.After the modeling is completed,the correctness of the AADL model is verified by logical relationship analysis and Petri net theory.Whereafter,in order to verify the rationality of the software design and ensure the reliability of the software developed according to the design,this paper uses the OSATE platform to perform data end-to-end connection consistency verification,data flow delay verification,and schedule analysis on the flight control software.And the AADLInspector is supplemented for scheduling simulation testing to ensure that some human errors in the design are avoided;at the same time,in order to further save development resources,this article uses the AADL error model in the OSATE platform to automatically generate a fault tree,and shorten the troubleshooting time of known faults,and Combined with the reliability allocation method,make reasonable development time arrangements for developers to avoid unnecessary waste of development time.In view of the advantages and disadvantages ofthe existing classic reliability allocation methods and the ease of implementation,this paper combines a simple fast allocation method with a reliable failure rate-based failure allocation method to improve the reliability tree-based rapid reliability allocation method,so that When the reliability allocation method based on failure rate is difficult to implement,the allocation effect can be better than the rapid reliability allocation method.Finally,the reliability verification scheme proposed in this paper is applied to the engineering example,and the test experiments are carried out according to the processes of modeling,reliability verification,and reliability redesign.This scheme aims to improve the reliability of flight control software in a simple and feasible way and reduce the resource consumption during its development.The final results show that the software reliability is improved and the consumption of certain resources is reduced.It indicates that the purpose has been reached,and it also demonstrates that the reliability verification scheme proposed in this paper is simple,convenient and practical.