一类计算系统的MBSE建模方法  

A MBSE modeling method for a class of computing systems

作　　者：姜苈峰 王长帅 罗清林 杨任农[3] 李锁在 Jiang Lifeng;Wang Changshuai;Luo Qinglin;Yang Rennong;Li Suozai(CEC Joint Innovation Research Institute,Chengmai 571924,China;Key Laboratory of PK System Technologies Research of Hainan Province,Chengmai 571924,China;Air Traffic Control and Navigation College,Air Force Engineering University,Xi′an 710051,China;China Software Information System Engineering Co.,Ltd.,Beijing 102209,China)

机构地区：[1]中电(海南)联合创新研究院有限公司,海南澄迈571924 [2]海南省PK体系关键技术研究重点实验室,海南澄迈571924 [3]空军工程大学空管领航学院,陕西西安710051 [4]中软信息系统工程有限公司,北京102209

出　　处：《电子技术应用》2022年第12期116-121,共6页Application of Electronic Technique

摘　　要：随着社会各领域对于算力需求的快速增长,通过计算架构创新提升计算系统算力越来越收到重视。计算系统的研制是一项复杂的系统工程,计算架构的创新使得计算系统的复杂程度不断增加,传统的系统工程方法难以满足系统研制需求。采用基于模型的系统工程(MBSE)方法对一类计算系统的建模方法进行了研究,提出了建模框架,建立了系统模型。运用此建模方法建立了某国产化计算系统模型,证明了建模方法的有效性,为下一步运用计算机仿真技术进行一类计算系统研制奠定了基础。With the rapid growth of demand for computing power in various fields of society,more and more attention has been paid to improving computing power of computing systems through computing architecture innovation.The development of computing system is a complex system engineering.Innovations in computing architectures have resulted in ever-increasing complexity of computing systems.Traditional systems engineering methods are difficult to meet the needs of system development.The modeling method of a kind of computing system is studied by the method of model-based systems engineering(MBSE),the modeling framework is proposed,and the system model is established.Using this modeling method,a model of a localized computing system was established,which proved the effectiveness of the modeling method,and laid the foundation for the next step to use computer simulation technology to develop a type of computing system.

关 键 词：MBSE 计算架构 SYSML 复杂系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]