Real-time Workshop機制研究——動態(tài)數(shù)據(jù)流模型代碼生成器的設(shè)計與實現(xiàn).pdf

1、隨著軟件工程的發(fā)展，基于模型的軟件開發(fā)方式越來越受到重視，成為軟件工程領(lǐng)域的發(fā)展趨勢。由于模型具有方便、易懂、易維護并且對設(shè)計需求反應(yīng)靈敏的特點，基于模型技術(shù)可以提高軟件復(fù)用度，增進(jìn)新舊軟件系統(tǒng)集成的速度。在基于模型的開發(fā)過程中模型和實現(xiàn)之間需要同步，因此在基于模型的技術(shù)框架中有一項核心技術(shù)就是為已經(jīng)設(shè)計好的模型生成目標(biāo)平臺的源代碼，代碼生成技術(shù)成為基于模型軟件開發(fā)不可缺少的一部分。代碼生成技術(shù)是模型轉(zhuǎn)換技術(shù)的一部分，主要是找出源模型和

2、目標(biāo)語言平臺的基本模式以及模式之間的映射規(guī)則，然后通過對這些動態(tài)和靜態(tài)的映射規(guī)則進(jìn)行組織最終實現(xiàn)代碼生成器。
　　本文嘗試探索一種能夠處理動態(tài)數(shù)據(jù)流的代碼生成機制，輸入數(shù)據(jù)采用Simulink/Stateflow模型的存儲文件，該文件存有模型的GUI信息。針對目前大部分代碼生成方法都是針對以UML為模型開發(fā)工具，主要以靜態(tài)結(jié)構(gòu)模型為研究對象的代碼生成機制，本文著重于針對擁有動態(tài)數(shù)據(jù)流模型代碼生成機制的MathWorks公司的Rea

3、l-time Workshop Embedded工具的分析和研究，并最終提出一種能夠處理動態(tài)數(shù)據(jù)流模型的代碼生成調(diào)度機制。本文首先通過對基于模型技術(shù)和模型轉(zhuǎn)換技術(shù)的理論的分析，并且結(jié)合實際產(chǎn)品Real-time Workshop Embedded的實現(xiàn)探討代碼生成的主要理論。其次，論文通過對Simulink/Stateflow建模機制和模型存儲文件結(jié)構(gòu)的分析找出Simulink/Stateflow模型GUI信息特性和代碼生成所面臨的問題

4、，并且針對各個問題提出了解決方案，同時確定了軟件系統(tǒng)的需求。然后，論文確定了源模型的基本模式和目標(biāo) C語言代碼的基本模式以及兩者之間的模式對應(yīng)轉(zhuǎn)換規(guī)則，完成圖形信息抽取算法和數(shù)據(jù)組織模型以及針對目標(biāo)語言為C語言的代碼生成調(diào)度機制的設(shè)計。論文最終完成代碼生成器的應(yīng)用原型程序，并且通過對該應(yīng)用原型程序的黑盒測試驗證了代碼生成機制的可行性，提出了改進(jìn)的方向。
　　本文中依據(jù)代碼生成機制實現(xiàn)的應(yīng)用原型程序經(jīng)調(diào)試后生成的代碼可以滿足動態(tài)數(shù)據(jù)