面向混合嵌入式系統(tǒng)建模分析的軟件工具鏈.pdf

1、針對當(dāng)前嵌入式系統(tǒng)設(shè)計(jì)開發(fā)復(fù)雜等問題，本文采用混合自動機(jī)對嵌入式系統(tǒng)進(jìn)行建模，并利用現(xiàn)在流行的基于模型的嵌入式開發(fā)框架—模型集成運(yùn)算框架建立用于混合系統(tǒng)建模仿真及分析的混合嵌入式軟件工具鏈。通過定義通用語義單元、針對混合自動機(jī)的特定領(lǐng)域建模語言以及用于不同領(lǐng)域模型之間進(jìn)行轉(zhuǎn)換的模型轉(zhuǎn)換規(guī)則，將混合嵌入式系統(tǒng)仿真模型通過模型轉(zhuǎn)換規(guī)則轉(zhuǎn)換為用于混合嵌入式系統(tǒng)可達(dá)集分析的模型。利用代碼生成器將分析模型最終映射為用于混合嵌入式系統(tǒng)可達(dá)集分析代碼

2、，調(diào)用水平集內(nèi)核計(jì)算混合嵌入式系統(tǒng)的可達(dá)集。
　　 針對當(dāng)前模型轉(zhuǎn)換規(guī)則正確性的研究，本文提出了用于檢驗(yàn)混合嵌入式系統(tǒng)模型轉(zhuǎn)換規(guī)則的互模擬檢驗(yàn)框架，通過檢驗(yàn)?zāi)Ｐ娃D(zhuǎn)換規(guī)則輸入模型及輸出模型是否存在互模擬關(guān)系，從而檢驗(yàn)?zāi)Ｐ娃D(zhuǎn)換規(guī)則執(zhí)行的每次實(shí)例是否正確地將輸入模型轉(zhuǎn)換為輸出模型。本文構(gòu)建了針對混合嵌入式模型轉(zhuǎn)換規(guī)則的互模擬檢驗(yàn)器，該檢驗(yàn)器通過獲取該轉(zhuǎn)換規(guī)則中針對輸入模型及輸出模型之間的元素映射關(guān)系，在該模型轉(zhuǎn)換規(guī)則每次執(zhí)行之后產(chǎn)生用

3、于檢驗(yàn)互模擬關(guān)系的檢驗(yàn)條件及檢驗(yàn)算法，自動地檢驗(yàn)輸入模型及輸出模型的互模擬關(guān)系。
　　 利用上述構(gòu)建的工具鏈及轉(zhuǎn)換規(guī)則互模擬檢驗(yàn)器，對電力暫態(tài)系統(tǒng)進(jìn)行建模仿真，利用互模擬檢驗(yàn)器對電力轉(zhuǎn)換系統(tǒng)的實(shí)例進(jìn)行檢驗(yàn)，并在ReachLab 平臺下利用Box，Diamond算法對電力轉(zhuǎn)換系統(tǒng)的可達(dá)集及穩(wěn)定區(qū)域分別進(jìn)行分析。
　　 本課題所研究的面向混合嵌入式系統(tǒng)的軟件工具鏈，可高效準(zhǔn)確地對混合嵌入式系統(tǒng)進(jìn)行建模仿真，并支持對混合嵌入式