支持Simulink-Stateflow的自動(dòng)代碼生成器研究與實(shí)現(xiàn).pdf

1、自動(dòng)代碼生成，簡單地說，就是將一些定義良好的輸入標(biāo)記或者模型轉(zhuǎn)換成源碼文本。定義良好的輸入標(biāo)記或模型可以是Simulink/Stateflow模型、UML模型等。解釋源碼文本的內(nèi)容的目標(biāo)語言可以是高級(jí)語言或機(jī)器語言，也可以是一種自定義的中間語言。自動(dòng)代碼生成過程與編譯器的工作在概念上具有等價(jià)性。本文主要是研究基于Simulink/Stateflow模型生成ANSI C語言代碼的自動(dòng)代碼生成工具的相關(guān)技術(shù)。主要內(nèi)容為：
　　1.研究

2、基于模型的開發(fā)和Simulink/Stateflow對(duì)代碼生成的支持機(jī)制。包括V-模型和Simulink/Stateflow層次化模型基礎(chǔ)。
　　2.研究分析已有的基于Simulink/Stateflow模型的自動(dòng)生成代碼工具如 RTW、Gene-Auto和TargetLink的實(shí)現(xiàn)方式及其相關(guān)技術(shù)。
　　3.開發(fā)自動(dòng)代碼生成系統(tǒng)的原型。在對(duì)相關(guān)研究基礎(chǔ)和技術(shù)進(jìn)行分析的基礎(chǔ)上，本文實(shí)現(xiàn)了一個(gè)基于Simulink/Statef

3、low模型代碼生成系統(tǒng)的原型。該工具對(duì)Simulink/Stateflow模型生成符合ANSI標(biāo)準(zhǔn)的C語言代碼。該原型主要是以面向系統(tǒng)領(lǐng)域?yàn)橹鞯腟ystemModel和面向目標(biāo)語言為主的與領(lǐng)域無關(guān)的CodeModel兩個(gè)中間模型為基礎(chǔ),將Simulink/Stateflow模型依次經(jīng)過SystemModel和CodeModel的轉(zhuǎn)換，最終生成符合 ANSI標(biāo)準(zhǔn)的 C語言代碼。根據(jù)模型轉(zhuǎn)換規(guī)則生成的測(cè)試用例測(cè)試模型的仿真和生成的代碼上并對(duì)

4、仿真的結(jié)果和代碼運(yùn)行的結(jié)果進(jìn)行比較。以及使用將生成的代碼和與RTW生成的代碼進(jìn)行比較這兩種測(cè)試方法。測(cè)試整個(gè)自動(dòng)代碼生成系統(tǒng)以及所生成代碼的正確性。
　　最后，對(duì)本文中的工作內(nèi)容進(jìn)行了總結(jié)，并對(duì)其中存在的不足指明了未來的研究方向。
　　本文的特點(diǎn)在于充分利用代碼生成代碼的思想，用ANTLR工具簡化自動(dòng)代碼生成流程。模型轉(zhuǎn)換過程中引入的兩個(gè)中間模型使得自動(dòng)代碼生成系統(tǒng)獨(dú)立于Simulink/Stateflow模型和目標(biāo)代碼。系