[發明專利]一種基于模型驅動的嵌入式工業實時系統圖形化設計方法

無效

• 申請號: 201310316137.3
• 申請日: 2013-07-25
• 公開（公告）號: CN103412747A
• 公開（公告）日: 2013-11-27
• 發明（設計）人: 王彬
• 申請（專利權）人: 昆明康卓科技有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，包括以下步驟：

（1）辨識與構建嵌入式工業實時領域圖形化元模型：對主流的嵌入式工業實時系統進行分析，歸納嵌入式實時領域關鍵元素的特征與結構，辨識并構建圖形化元模型，形成領域元模型庫；

（2）構建圖形化元模型的語義知識庫：根據嵌入式工業實時系統的設計要求和規范歸納語義約束條件，構建該領域內的靜態與動態語義知識庫；

（3）制定基于語義知識庫的模型映射規則體系：把步驟（2）中形成的語義知識庫作為約束，建立從圖形源模型到目標模型的映射規則體系，并保持時序等關鍵語義的一致性；

（4）建立可視的源模型設計平臺：把步驟（1）中所形成的圖形化元模型庫和步驟（2）中形成的語義知識庫集成在該設計平臺中，用戶可根據具體的嵌入式工業設計任務要求，建立嵌入式系統的圖形化源模型；

（5）提供兼容多種目標系統的模型轉換環境：利用圖形化源模型的平臺無關性和獨立性，針對不同的主流嵌入式系統分別實現自動的模型轉換，為用戶提供特定目標平臺下運行的代碼。

2.根據權利要求1所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，所述辨識與構建嵌入式工業實時領域圖形化元模型是指：把嵌入式實時領域內的關鍵元素表現為具體形象的圖形化元模型。

3.根據權利要求2所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于：所述把嵌入式實時領域內的關鍵元素建立圖形化的表示法模型，其具體包括以下步驟：

（1）為建模元素圖形符號的構建選取基本圖元；

（2)?利用基本圖元的組合定義建模元素符號；

（3)?定義各建模元素之間行為關系的圖形符號；

（4)?建立建模元素的圖形符號及它們之間的行為關系到建模語言抽象語法的映射，最終元模型的表現形式總結目前主流的圖形化建模語言中所有出現過的圖形符號。

4.根據權利要求2所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于：根據特征與結構的不同，最終實時領域內的圖形化元模型可分為：對象元模型、行為元模型、程序算法元模型、控制模塊元模型四類。

5.根據權利要求1所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，所述構建圖形化元模型的語義知識庫是指：利用本體論方法，對辨識與構建出的領域元模型進行本體演繹，以表述嵌入式工業實時領域內的功能語義和非功能約束性語義，共包括4個層次：定義、規則、時序、資源。

6.根據權利要求1所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，所述制定基于語義知識庫的模型映射規則體系是指：采用分步的映射機制，把元模型的語義知識庫作為約束條件，建立從源模型到目標模型的映射規則，將功能映射、結構映射、語法映射和語義映射分解在兩個過程中實現，以保持時序等關鍵語義的一致性。

7.根據權利要求1所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，所述建立可視的源模型設計平臺是指：把圖形化元模型庫和語義知識庫集成在可視化的模型編輯環境中；用戶根據具體的嵌入式工業控制任務要求，調用圖形化元模型，建立嵌入式系統的圖形化源模型。

8.根據權利要求1所述的基于模型驅動的嵌入式工業實時系統圖形化設計方法，其特征在于，所述提供兼容多種目標系統的模型轉換環境是指：面向主流的嵌入式工業應用平臺分別提供不同的模型轉換引擎，建模所得的圖形化源模型具有平臺無關性和可復用性，可以作為獨立的設計結果，用戶可自行選擇特定目標平臺，生成可執行代碼。