基于MBSE的卫星互联网仿真平台架构建模  

Architecture modeling of satellite Internet simulation platform based on MBSE

作　　者：李红光 刘垚圻 周一青[1,3,4] 石晶林 LI Hongguang;LIU Yaoqi;ZHOU Yiqing;SHI Jinglin(Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100049,China;State Key Lab of Processors,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China;Zhongke Nanjing Mobile Communication&Computing Innovation Institute,Nanjing 211135,China)

机构地区：[1]中国科学院计算技术研究所,北京100190 [2]中国科学院大学,北京100049 [3]处理器芯片全国重点实验室,中国科学院计算技术研究所,北京100190 [4]中科南京移动通信与计算创新研究院,江苏南京211135

出　　处：《电信科学》2024年第9期1-12,共12页Telecommunications Science

基　　金：江苏省重点研发计划项目(No.BE2021013-2);中国科学院计算所创新课题项目(No.E261020);中国科学院特别研究助理资助项目(No.2022)。

摘　　要：针对传统基于文档的系统工程方法在高复杂度卫星互联网仿真平台开发中存在的系统设计协调性差及早期仿真验证不足等问题,提出采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展卫星互联网仿真平台架构建模。首先,提出基于MBSE的双V模型(dual V model based on MBSE,DVMBSE)及与外部软件集成验证架构;然后,基于MBSE方法论对卫星互联网仿真平台顶层架构开展需求分析、功能分解及交互结构建模;最后,通过运行逻辑验证与外部模型集成验证实现了模型的有效性验证,从而支撑卫星互联网设计论证。The traditional text based system engineering method has some problems in the development of high complexity satellite Internet simulation platform,such as poor system design coordination and insufficient early simulation verification.The model-based systems engineering(MBSE)method was proposed to model the architecture of satellite Internet simulation platform.Firstly,a DV-MBSE and an integration verification architecture with external software were proposed.Secondly,based on MBSE methodology,the requirements analysis,functional decomposition and interaction structure modeling of the top architecture of the satellite Internet simulation platform were carried out.Finally,the validity of the model was verified by running logic verification and external model integration verification,thus supporting the design of satellite Internet.

关 键 词：卫星互联网 MBSE 仿真建模 仿真平台 集成验证 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]