《電子技術(shù)應(yīng)用》
您所在的位置：首頁 > 可編程邏輯 > 設(shè)計(jì)應(yīng)用 > 一類計(jì)算系統(tǒng)的MBSE建模方法
一類計(jì)算系統(tǒng)的MBSE建模方法
2022年電子技術(shù)應(yīng)用第12期
姜藶峰1，2，王長帥1，2，羅清林1，2，楊任農(nóng)3，李鎖在1，2，4
1.中電(海南)聯(lián)合創(chuàng)新研究院有限公司，海南 澄邁571924； 2.海南省PK體系關(guān)鍵技術(shù)研究重點(diǎn)實(shí)驗(yàn)室，海南 澄邁571924； 3.空軍工程大學(xué) 空管領(lǐng)航學(xué)院，陜西 西安710051；4.中軟信息系統(tǒng)工程有限公司，北京102209
摘要： 隨著社會各領(lǐng)域?qū)τ谒懔π枨蟮目焖僭鲩L，通過計(jì)算架構(gòu)創(chuàng)新提升計(jì)算系統(tǒng)算力越來越收到重視。計(jì)算系統(tǒng)的研制是一項(xiàng)復(fù)雜的系統(tǒng)工程，計(jì)算架構(gòu)的創(chuàng)新使得計(jì)算系統(tǒng)的復(fù)雜程度不斷增加，傳統(tǒng)的系統(tǒng)工程方法難以滿足系統(tǒng)研制需求。采用基于模型的系統(tǒng)工程(MBSE)方法對一類計(jì)算系統(tǒng)的建模方法進(jìn)行了研究，提出了建?？蚣?，建立了系統(tǒng)模型。運(yùn)用此建模方法建立了某國產(chǎn)化計(jì)算系統(tǒng)模型，證明了建模方法的有效性，為下一步運(yùn)用計(jì)算機(jī)仿真技術(shù)進(jìn)行一類計(jì)算系統(tǒng)研制奠定了基礎(chǔ)。
中圖分類號： TP311
文獻(xiàn)標(biāo)識碼： A
DOI：10.16157/j.issn.0258-7998.222910
中文引用格式： 姜藶峰，王長帥，羅清林，等. 一類計(jì)算系統(tǒng)的MBSE建模方法[J].電子技術(shù)應(yīng)用，2022，48(12)：116-121.
英文引用格式： Jiang Lifeng，Wang Changshuai，Luo Qinglin，et al. A MBSE modeling method for a class of computing systems[J]. Application of Electronic Technique，2022，48(12)：116-121.
A MBSE modeling method for a class of computing systems
Jiang Lifeng1，2，Wang Changshuai1，2，Luo Qinglin1，2，Yang Rennong3，Li Suozai1，2，4
1.CEC Joint Innovation Research Institute，Chengmai 571924，China； 2.Key Laboratory of PK System Technologies Research of Hainan Province，Chengmai 571924，China； 3.Air Traffic Control and Navigation College，Air Force Engineering University，Xi′an 710051，China； 4.China Software Information System Engineering Co.，Ltd.，Beijing 102209，China
Abstract： 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.
Key words : MBSE；computing architecture；SysML；complex systems

0 引言

    近年來，集成電路制成工藝進(jìn)步與計(jì)算架構(gòu)演進(jìn)是計(jì)算系統(tǒng)在發(fā)展過程中得以不斷提升算力的主要原因。隨著摩爾定律與狄納德縮放定律逐步逼近物理極限[1]，通過制成工藝進(jìn)步提升算力的模式難以為繼。這就使得通過計(jì)算架構(gòu)創(chuàng)新提升算力將成為今后提升算力的主要途徑。

    計(jì)算架構(gòu)是人工復(fù)雜系統(tǒng)研究的核心范疇[2]，因而借鑒國內(nèi)外航天航空領(lǐng)域系統(tǒng)工程經(jīng)驗(yàn)，運(yùn)用系統(tǒng)工程的工具和方法進(jìn)行計(jì)算架構(gòu)創(chuàng)新研究是可行和必要的?；谀Ｐ偷南到y(tǒng)工程(Model-Based Systems Engineering，MBSE)方法是指通過形式化的建模語言描述系統(tǒng)的結(jié)構(gòu)、行為、參數(shù)，以模型驅(qū)動的形式結(jié)合現(xiàn)代設(shè)計(jì)方法進(jìn)行系統(tǒng)綜合設(shè)計(jì)，并貫穿整個設(shè)計(jì)周期的設(shè)計(jì)方法[3]。目前MBSE方法已經(jīng)被國內(nèi)外廣泛應(yīng)用于航空[4-6]、航天[7-9]等領(lǐng)域并取得了諸多科研成果。




本文詳細(xì)內(nèi)容請下載：http://ihrv.cn/resource/share/2000005052。




作者信息：

姜藶峰1，2，王長帥1，2，羅清林1，2，楊任農(nóng)3，李鎖在1，2，4

(1.中電(海南)聯(lián)合創(chuàng)新研究院有限公司，海南 澄邁571924；

2.海南省PK體系關(guān)鍵技術(shù)研究重點(diǎn)實(shí)驗(yàn)室，海南 澄邁571924；

3.空軍工程大學(xué) 空管領(lǐng)航學(xué)院，陜西 西安710051；4.中軟信息系統(tǒng)工程有限公司，北京102209)




wd.jpg

此內(nèi)容為AET網(wǎng)站原創(chuàng)，未經(jīng)授權(quán)禁止轉(zhuǎn)載。