姜藶峰1，2，王長帥1，2，羅清林1，2，楊任農(nóng)3，李鎖在1，2，41.中電(海南)聯(lián)合創(chuàng)新研究院有限公司，海南 澄邁571924；2.海南省PK體系關(guān)鍵技術(shù)研究重點(diǎn)實(shí)驗室，海南 澄邁571924；3.空軍工程大學(xué) 空管領(lǐng)航學(xué)院，陜西 西安710051；4.中軟信息系統(tǒng)工程有限公司，北京102209。隨著社會各領(lǐng)域?qū)τ谒懔π枨蟮目焖僭鲩L，通過計算架構(gòu)創(chuàng)新提升計算系統(tǒng)算力越來越收到重視。計算系統(tǒng)的研制是一項復(fù)雜的系統(tǒng)工程，計算架構(gòu)的創(chuàng)新使得計算系統(tǒng)的復(fù)雜程度不斷增加，傳統(tǒng)的系統(tǒng)工程方法難以滿足系統(tǒng)研制需求。采用基于模型的系統(tǒng)工程(MBSE)方法對一類計算系統(tǒng)的建模方法進(jìn)行了研究，提出了建模框架，建立了系統(tǒng)模型。運(yùn)用此建模方法建立了某國產(chǎn)化計算系統(tǒng)模型，證明了建模方法的有效性，為下一步運(yùn)用計算機(jī)仿真技術(shù)進(jìn)行一類計算系統(tǒng)研制奠定了基礎(chǔ)。近年來，集成電路制成工藝進(jìn)步與計算架構(gòu)演進(jìn)是計算系統(tǒng)在發(fā)展過程中得以不斷提升算力的主要原因。隨著摩爾定律與狄納德縮放定律逐步逼近物理極限[1]，通過制成工藝進(jìn)步提升算力的模式難以為繼。這就使得通過計算架構(gòu)創(chuàng)新提升算力將成為今后提升算力的主要途徑。計算架構(gòu)是人工復(fù)雜系統(tǒng)研究的核心范疇[2]，因而借鑒國內(nèi)外航天航空領(lǐng)域系統(tǒng)工程經(jīng)驗，運(yùn)用系統(tǒng)工程的工具和方法進(jìn)行計算架構(gòu)創(chuàng)新研究是可行和必要的。基于模型的系統(tǒng)工程(Model-Based Systems Engineering，MBSE)方法是指通過形式化的建模語言描述系統(tǒng)的結(jié)構(gòu)、行為、參數(shù)，以模型驅(qū)動的形式結(jié)合現(xiàn)代設(shè)計方法進(jìn)行系統(tǒng)綜合設(shè)計，并貫穿整個設(shè)計周期的設(shè)計方法[3]。目前MBSE方法已經(jīng)被國內(nèi)外廣泛應(yīng)用于航空[4-6]、航天[7-9]等領(lǐng)域并取得了諸多科研成果。文章來源：《電子技術(shù)應(yīng)用》雜志12月刊
本站僅提供存儲服務(wù)，所有內(nèi)容均由用戶發(fā)布，如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容，請
點(diǎn)擊舉報。
