Modeling And Verification Of Airborne Communication System Based On MBSE

With the development of modern aircraft,its use is gradually diversified,and the requirements for the supporting avionics system are also increased accordingly.Among them,the airborne communication system is an important part of the avionics system.Its complex internal structure and interactions make the development of system modeling difficult,and the traditional development methods are no longer sufficient to meet current design needs.Therefore,through the researches on Model Based System Engineering(namely MBSE)methodology,this thesis accomplishes the modeling and verification of airborne communication system to address the difficulties in system architecture design caused by the numerous tasks and interactions in airborne systems.The main contents include the following aspects.Aiming at the vacancy of Arcadia(a MBSE methodology)in the aerospace field,the application and modeling mechanism of this methodology in airborne communication systems are studied.Through the study of its requirements model design,functional model design,logical architecture design,and physical architecture development,an Arcadia-based full-flow solution for modeling and validating airborne communication systems is established,providing ideas for Arcadia applications in other avionics systems.Subsequently,research on Arcadia is launched.On the one hand,the definition and transformation of state and mode in Arcadia is investigated,and its application mechanism in Arcadia is analyzed to realize the design of state and mode in airborne communication system;on the other hand,to address the deficiencies of Capella model in model transfor?mation,this paper integrates the traditional inter-model transformation mechanism,an?alyzes the relationship between Capella models,studies the transformation mechanism based on Capella model,and proposes a technological process based on Capella model transformation.Finally,the modeling and verification of the airborne communication system based on Arcadia is realized.The four-layer model of the airborne communication system is built,and the black-box verification of the model is realized through the function chain operation.The modeling results of the system are completely verified by combining with Simulink's supplementary modeling and simulation.This thesis utilizes Arcadia to guide modeling,and conducts modeling and verifi-cation on Capella and Simulink platforms.The modeling and validation of the airborne communication system are successfully realized,which solved the shortcomings of the traditional development model,such as data transfer difficulties,isolation of subsystems and inability to iterate as soon as possible.