本文關(guān)鍵詞： 同步規(guī)范 SIGNAL 并行程序 代碼生成 OpenMP　出處：《軟件學(xué)報(bào)》2017年07期 　論文類型：期刊論文

【摘要】：隨著對(duì)安全攸關(guān)實(shí)時(shí)系統(tǒng)功能與非功能要求的日益增加,使用多核技術(shù)將成為發(fā)展趨勢(shì).如何在多核平臺(tái)條件下保證系統(tǒng)運(yùn)行的可信任性及可靠性是學(xué)術(shù)上和應(yīng)用上的關(guān)鍵問(wèn)題.目前基于形式化方法的系統(tǒng)設(shè)計(jì)、驗(yàn)證以及自動(dòng)代碼生成已在單核平臺(tái)上形成很多研究成果,但在多核平臺(tái)上的研究仍面臨許多科學(xué)問(wèn)題.同步語(yǔ)言SIGNAL是一種被廣泛應(yīng)用于安全攸關(guān)實(shí)時(shí)系統(tǒng)功能設(shè)計(jì)的形式化方法,適用于對(duì)系統(tǒng)確定性并發(fā)行為的描述.SIGNAL編譯器也支持將同步規(guī)范(synchronous specification)生成仿真代碼,以對(duì)其進(jìn)行驗(yàn)證與分析.然而,現(xiàn)有研究較少關(guān)注從SIGNAL同步規(guī)范到支持跨平臺(tái)并行代碼的生成方法.研究了面向SIGNAL同步規(guī)范的并行自動(dòng)代碼生成方法.提出了方程依賴圖EDG的概念,將SIGNAL規(guī)范轉(zhuǎn)換為EDG以分析其全局?jǐn)?shù)據(jù)依賴關(guān)系;研究了對(duì)EDG進(jìn)行任務(wù)劃分獲取規(guī)范中可以并行執(zhí)行部分的算法;最后,以跨平臺(tái)并行編程API-Open MP作為對(duì)象,結(jié)合程序中信號(hào)的時(shí)鐘關(guān)系,將并行任務(wù)映射到Open MP并行代碼,并進(jìn)行了實(shí)例驗(yàn)證.
[Abstract]:With the increasing demand for real-time system functionality and non-function, The use of multi-nuclear technology will become a trend. How to ensure the reliability and reliability of the system under the condition of multi-core platform is a key issue in academic and application. Verification and automatic code generation have resulted in a lot of research on a single core platform, However, the research on multi-core platform still faces many scientific problems. Synchronous language SIGNAL is a formal method which is widely used in real-time system function design. The SIGNAL compiler also supports the generation of simulation code to validate and analyze the synchronization specification. Little attention has been paid to the generation of parallel code from SIGNAL synchronization specification to supporting cross-platform parallel code generation. A parallel automatic code generation method for SIGNAL synchronization specification is studied. The concept of equation dependent graph (EDG) is proposed. The SIGNAL specification is converted to EDG to analyze its global data dependency; the algorithm of obtaining the task partition specification for EDG can be executed in parallel; finally, the cross-platform parallel programming API-Open MP is taken as the object. Combining the clock relation of the signal in the program, the parallel task is mapped to the Open MP parallel code, and an example is given.
【作者單位】： 軟件開發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室(北京航空航天大學(xué)計(jì)算機(jī)學(xué)院);南京航空航天大學(xué)計(jì)算機(jī)學(xué)院;Toulouse
【基金】：國(guó)家自然科學(xué)基金(91538202,61672074) 軟件開發(fā)國(guó)家重點(diǎn)實(shí)驗(yàn)室基金(SKLSDE-2016ZX-16)~~
【分類號(hào)】：TP311.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 吉基兵;;感受代碼生成之美[J];中國(guó)現(xiàn)代教育裝備;2011年06期

2 劉鷹;;代碼生成技術(shù)及其在企業(yè)開發(fā)中的應(yīng)用[J];西安文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年03期

3 楊向忠;安錦文;崔文革;;嵌入式自動(dòng)代碼生成技術(shù)應(yīng)用研究[J];彈箭與制導(dǎo)學(xué)報(bào);2008年03期

4 肖久明;耿祥義;;利用動(dòng)態(tài)代碼生成提高設(shè)計(jì)模式的效率[J];電腦知識(shí)與技術(shù);2010年33期

5 鄭茂松;;機(jī)器描述形式的代碼生成方法[J];計(jì)算機(jī)科學(xué);1982年03期

6 M.Ganabath ,C.N.Fischer ,莊悅平 ,張宏;可移植編譯程序的代碼生成[J];計(jì)算機(jī)工程與應(yīng)用;1984年04期

7 鄭茂松;一個(gè)代碼生成的自動(dòng)化方法[J];計(jì)算機(jī)學(xué)報(bào);1984年05期

8 楊穎,謝奇光;一個(gè)語(yǔ)義引導(dǎo)的代碼生成工具系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;1987年02期

9 楊軍;劉毅斌;;代碼生成技術(shù)在通信接口開發(fā)中的應(yīng)用[J];江西冶金;2014年04期

10 蔣凌云;王汝傳;;用于網(wǎng)格計(jì)算的復(fù)合代碼生成技術(shù)研究[J];南京郵電學(xué)院學(xué)報(bào);2005年06期

相關(guān)會(huì)議論文 前2條

1 韓穎;高翔;王國(guó)仁;于戈;鄭懷遠(yuǎn);;OQL預(yù)處理器代碼生成算法的設(shè)計(jì)[A];第十六屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集[C];1999年

2 盛剛;閆振福;;應(yīng)用ACGS進(jìn)行有效的電子政務(wù)系統(tǒng)的開發(fā)(英文)[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

相關(guān)重要報(bào)紙文章 前1條

1 ;發(fā)動(dòng)機(jī)ECU開發(fā)應(yīng)集中于軟件[N];中國(guó)電子報(bào);2006年

相關(guān)碩士學(xué)位論文 前10條

1 葛樂(lè);電動(dòng)汽車用永磁同步電機(jī)控制系統(tǒng)研究[D];天津理工大學(xué);2015年

2 孫聚;基于FreeMarker引擎的代碼生成工具的設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2015年

3 諶志濤;基于模板的軟件構(gòu)建自動(dòng)化技術(shù)的研究[D];南昌大學(xué);2015年

4 孫石;基于模型的OBD故障診斷儀設(shè)計(jì)[D];北京理工大學(xué);2015年

5 左春雪;地震資料道集流設(shè)計(jì)及自動(dòng)代碼生成研究[D];東北石油大學(xué);2015年

6 馮璨;基于模型的無(wú)功補(bǔ)償控制器研究[D];上海交通大學(xué);2015年

7 曹流;一種基于OCL的約束驗(yàn)證框架[D];南京大學(xué);2013年

8 章枧;數(shù)學(xué)模型化的自動(dòng)駕駛儀軟件設(shè)計(jì)[D];北京理工大學(xué);2016年

9 尹太元;基于MATLAB自動(dòng)代碼生成的有源電力濾波器研究[D];中原工學(xué)院;2016年

10 肖小嵐;支持企業(yè)業(yè)務(wù)信息系統(tǒng)快速變更的代碼生成方法改進(jìn)[D];南華大學(xué);2016年

，

本文編號(hào)：1504351