Real-time Workshop機(jī)制研究——?jiǎng)討B(tài)數(shù)據(jù)流模型代碼生成器的設(shè)計(jì)與實(shí)現(xiàn).pdf

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

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

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

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