Research On Model Verification Of Airborne Ground Test System Based On MBSE

Model-based systems engineering(MBSE)designs complex systems through models.Compared with text-based systems engineering,it has the advantages of modularity and strong consistency.It is currently widely used in the field of complex systems engineering.Model verification is a key part of MBSE model design,which is used to verify whether the model satisfies the system requirements.Domestic research on MBSE avionics system model verification has not yet formed a complete scheme.This thesis takes the system model verification scheme as the starting point,studies the static verification,dynamic verification and system verification in the avionics system,establishes the ground test system model and implements the system model verification scheme.The main research work and results are as follows:(1)Research on avionics system model verification technology: Aiming at the lack of model verification system solutions for avionics systems,this thesis proposes a "subjective verification-static verification-dynamic verification-system verification" model verification program.Analyze the characteristics of the avionics system,establish the ground test system model and apply the scheme to the ground test system for model verification.Following the idea of static first and dynamic later,simplicity first and complex later,verify the static and dynamic elements of the model and the entire system in turn,complete the static correctness verification,dynamic logic verification,model code correctness verification,and the effectiveness of the complete model system.Ensure the correctness of the model's full life cycle.(2)Research model static verification technology: In this thesis,the static model verification technology is researched,and the model static verification technology scheme is proposed.The verification of static elements is realized through three parts:requirement confirmation,model static attribute verification and model syntax and semantic verification.In the demand confirmation stage,the demand matrix is used to realize demand traceability,the demand point model is established to complete the combing of the demand frame structure and related relations,the itemized demand text is improved through the demand matrix and demand point model,and the demand coverage rate of the demand text is tested,complete the requirement confirmation stage.Combined with model syntax and semantic detection and model static attribute detection,the static verification of the model is jointly completed.(3)Research model dynamic verification technology: This thesis studies the dynamic model verification technology and proposes a technical solution for model dynamic verification.Research on dynamic verification and verification technology for models and executable codes.First,through the model joint dynamic execution verification,complete the verification of the model's dynamic properties and dynamic logic.Second,verify the executable code generated by the model,complete the comprehensive verification and verification of the ground test system model and executable code,ensure the validity of the code and the consistency of the model code verification,complete the research on the verification technology of model dynamic elements.This thesis proposes a system model verification program,establishes a ground test system model and implements full life cycle model verification in the modeling process,and solves the shortcomings of model verification difficulties,verification lags,and lack of systematic verification programs in the traditional development model.It provides another way of thinking for avionics system model verification.