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

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

2、目標語言平臺的基本模式以及模式之間的映射規(guī)則，然后通過對這些動態(tài)和靜態(tài)的映射規(guī)則進行組織最終實現(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)度機制。本文首先通過對基于模型技術和模型轉(zhuǎn)換技術的理論的分析，并且結(jié)合實際產(chǎn)品Real-time Workshop Embedded的實現(xiàn)探討代碼生成的主要理論。其次，論文通過對Simulink/Stateflow建模機制和模型存儲文件結(jié)構(gòu)的分析找出Simulink/Stateflow模型GUI信息特性和代碼生成所面臨的問題

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