Design and Verification for Date Link System-of-Systems Architecture Framework Based on Logical Model
Architecture design is the core of date link systems construction,and the construction and verification of logical architecture model is an important means of digital and modeling design of data link system.Firstly,the necessity of using logical model to carry out architectures design is analyzed,and the architecture design is summarized from the aspects of problem solving,domain requirements and comprehensive effectiveness.Then,the logical model design is carried out from the system-of-sys-tems(SoS)level,system level and equipment level.The design methodology,modeling framework and tool language of each level are given.And then,the specific models of SoS level to system level transfer and system level to equipment level transfer are displayed.Finally,the methods of each level independent closed-loop verification and cross-level logic closed-loop verification are given.
date link system of systems(SoS)architecture designlogical modelclosed-loop verifi-cation
万方数据
维普
