一類計算系統(tǒng)的MBSE建模方法

作者：

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

作者單位：

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

2.海南省PK體系關鍵技術(shù)研究重點實驗室，海南澄邁571924；

3.空軍工程大學空管領航學院，陜西西安710051；

4.中軟信息系統(tǒng)工程有限公司，北京102209。

摘要：

隨著社會各領域?qū)τ谒懔π枨蟮目焖僭鲩L，通過計算架構(gòu)創(chuàng)新提升計算系統(tǒng)算力越來越收到重視。計算系統(tǒng)的研制是一項復雜的系統(tǒng)工程，計算架構(gòu)的創(chuàng)新使得計算系統(tǒng)的復雜程度不斷增加，傳統(tǒng)的系統(tǒng)工程方法難以滿足系統(tǒng)研制需求。采用基于模型的系統(tǒng)工程(MBSE)方法對一類計算系統(tǒng)的建模方法進行了研究，提出了建?？蚣埽⒘讼到y(tǒng)模型。運用此建模方法建立了某國產(chǎn)化計算系統(tǒng)模型，證明了建模方法的有效性，為下一步運用計算機仿真技術(shù)進行一類計算系統(tǒng)研制奠定了基礎。

引言：

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

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

文章來源：《電子技術(shù)應用》雜志12月刊

本站僅提供存儲服務，所有內(nèi)容均由用戶發(fā)布，如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容，請點擊舉報。

开心六月综合激情婷婷|欧美精品成人动漫二区|国产中文字幕综合色|亚洲人在线成视频