[發明專利]用于生成源代碼的方法

有效

• 申請號: 201880024640.2
• 申請日: 2018-07-12
• 公開（公告）號: CN110506256B
• 公開（公告）日: 2023-09-01
• 發明（設計）人: M·邁爾;W·特勞特曼
• 申請（專利權）人: 德斯拜思有限公司
• 主分類號: G06F8/34
• 分類號: G06F8/34;G06F8/41
• 代理公司: 中國貿促會專利商標事務所有限公司 11038
• 代理人: 樓震炎

1.一種用于由方塊圖的一個或多個模塊生成源代碼的方法，該方塊圖包括動態系統的模型，所述模型帶有在兩個模塊之間的至少一個信號連接，其中，生成源代碼借助于代碼生成器進行并且由計算機系統的處理器實施或在客戶端-服務器環境中實施，其中，在第一步驟中，將方塊圖的一個或多個模塊轉換成中間圖，該中間圖包括一個或多個分級圖，其中，在第二步驟中，優化所述一個或多個分級圖，并且其中，在第三步驟中，將經優化的中間圖翻譯成文本編程語言的源代碼，其中，能執行方塊圖，以便對動態系統仿真，其中，所有的模塊均被持久保持在存儲器中并且每個模塊每個時間步長執行一次，其中，所述方塊圖被分等級地定義，其中，在較高層面中的一個模塊能夠包括下級層面的多個模塊，其中，下級層面的模塊配設給較高層面的一個模塊，其中，在方塊圖中定義至少一個區域，一個或多個模塊處在所述區域內，其中，方塊圖包括第一模塊和第二模塊，其中，第一模塊具有第一模塊變量并且第二模塊具有第二模塊變量，其中，方塊圖的每個模塊變量具有標識符，其特征在于，方塊圖包括一個或多個定義模塊，其中，借助定義模塊這樣定義區域，使得下一個較高層面的包括定義模塊的包括性模塊和所有配設給包括性模塊的模塊均處在所述區域中，將第一模塊變量的標識符與第二模塊變量的標識符相比較，其中，檢驗第一模塊和第二模塊是否處在相同的區域中，以及其中，當標識符一致并且模塊處在一個區域中時，第一模塊變量和第二模塊變量在源代碼中作為唯一的變量實施，當標識符不同和/或模塊沒有處在相同的區域中時，第一變量模塊和第二變量模塊在源代碼中作為兩個分開的變量實施，其中，每個模塊變量具有允許標記，能夠設置或不設置允許標記，其中，所述允許標記被構造成檢驗標記，所述檢驗標記僅結合附加條件的滿足才允許優化，使得僅當在兩個模塊變量中均設置檢驗標記并且額外滿足了至少一個相配設的檢驗條件時，才在一個共同的變量中實施兩個模塊變量，其中，檢查下列一個或多個檢驗條件：

·在模塊內的模塊變量是否沒有改變，而是僅被讀取；

·模塊變量的不同的實例的使用時間是否是不相交的，從而所述兩個模塊變量僅在不同的、不重合的時間上被讀取或寫入；

·是否將同一個變量定義配設給在定義數據集中的所述模塊變量；

·所述模塊變量是否布置在相同地說明的定向連接中。

2.按照權利要求1所述的方法，其特征在于，所述方塊圖包括至少兩個定義模塊，所述至少兩個定義模塊由較高層面的一個共同的模塊包括，其中，第一定義模塊布置在第一層面中并且第二定義模塊布置在相比第一層面處于下級的第二層面中，其中，第一模塊定義第一區域，其中，第二模塊這樣定義第二區域，使得相比第二層面下一個較高層面的包括第二定義模塊的模塊以及所有配設給該模塊的模塊均處在第二區域中。

3.按照權利要求2所述的方法，其特征在于，存在至少兩種定義模塊，其中，定義了一種標明的定義模塊，其中，在第一定義模塊是標明的定義模塊的情況下，將第一區域和第二區域合并成一個共同的區域，否則的話就將第一區域和第二區域作為分開的區域加以處理。

4.按照權利要求1至3中任一項所述的方法，其特征在于，借助評估至少一個生成規則確定模塊變量的標識符，其中，生成規則借助較高層面的模塊和/或借助區域確定了模塊變量的標識符，其中，在所述較高層面的模塊中包括具有模塊變量的模塊，具有模塊變量的模塊處在所述區域中。

5.按照權利要求4所述的方法，其特征在于，借助比較模塊變量的標識符來檢查兩個模塊是否處在相同的區域中。

6.按照權利要求1至3中任一項所述的方法，其特征在于，提供功能的預定義的模塊能從庫加入到方塊圖中，其中，在方塊圖中能存在有相同功能的多個模塊，其中，在方塊圖中存在模塊的多個實例的情況下，要么為每個實例定義獨立的區域，要么為所述多個實例定義共同的函數并且為每個實例定義有模塊變量的數據結構，其中，視有待執行的模塊而定，將相應的數據結構傳送給函數。