基于逻辑模型的数据链体系架构框架设计与验证  

Design and Verification for Date Link System‑of‑Systems Architecture Framework Based on Logical Model

作　　者：张子龙 曹海洋 樊县林 ZHANG Zilong;CAO Haiyang;FAN Xianlin(The 28th Research Institute of China Electronics Technology Group Corporation,Nanjing 210023,China)

机构地区：[1]中国电子科技集团公司第二十八研究所,南京210023

出　　处：《指挥信息系统与技术》2024年第4期18-23,68,共7页Command Information System and Technology

摘　　要：架构设计是数据链体系构建中的核心,而逻辑架构模型构建与验证是数据链体系数字化和模型化设计的重要手段。首先,分析了采用逻辑模型开展体系架构设计的必要性,并从问题解决、领域需求和综合效能等角度对体系架构设计进行了归纳;然后,从体系级、系统级和装备级开展逻辑模型设计,并给出了每个层级的设计方法论、建模框架和工具语言;接着,展示了体系级向系统级传递以及系统级向装备级传递的具体模型;最后,给出了各层级独立闭环验证和跨层级逻辑闭环验证的方法。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.

关 键 词：数据链体系 架构设计 逻辑模型 闭环验证 

分 类 号：TN929.5[电子电信—通信与信息系统]