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

【摘要】：隨著對安全攸關(guān)實時系統(tǒng)功能與非功能要求的日益增加,使用多核技術(shù)將成為發(fā)展趨勢.如何在多核平臺條件下保證系統(tǒng)運行的可信任性及可靠性是學(xué)術(shù)上和應(yīng)用上的關(guān)鍵問題.目前基于形式化方法的系統(tǒng)設(shè)計、驗證以及自動代碼生成已在單核平臺上形成很多研究成果,但在多核平臺上的研究仍面臨許多科學(xué)問題.同步語言SIGNAL是一種被廣泛應(yīng)用于安全攸關(guān)實時系統(tǒng)功能設(shè)計的形式化方法,適用于對系統(tǒng)確定性并發(fā)行為的描述.SIGNAL編譯器也支持將同步規(guī)范(synchronous specification)生成仿真代碼,以對其進行驗證與分析.然而,現(xiàn)有研究較少關(guān)注從SIGNAL同步規(guī)范到支持跨平臺并行代碼的生成方法.研究了面向SIGNAL同步規(guī)范的并行自動代碼生成方法.提出了方程依賴圖EDG的概念,將SIGNAL規(guī)范轉(zhuǎn)換為EDG以分析其全局數(shù)據(jù)依賴關(guān)系;研究了對EDG進行任務(wù)劃分獲取規(guī)范中可以并行執(zhí)行部分的算法;最后,以跨平臺并行編程API-Open MP作為對象,結(jié)合程序中信號的時鐘關(guān)系,將并行任務(wù)映射到Open MP并行代碼,并進行了實例驗證.
[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)境國家重點實驗室(北京航空航天大學(xué)計算機學(xué)院);南京航空航天大學(xué)計算機學(xué)院;Toulouse
【基金】：國家自然科學(xué)基金(91538202,61672074) 軟件開發(fā)國家重點實驗室基金(SKLSDE-2016ZX-16)~~
【分類號】：TP311.1

【相似文獻】

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

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

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

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

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

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

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

7 鄭茂松;一個代碼生成的自動化方法[J];計算機學(xué)報;1984年05期

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

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

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

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

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

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

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

1 ;發(fā)動機ECU開發(fā)應(yīng)集中于軟件[N];中國電子報;2006年

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：1504351