[發明專利]基于集成配置文件的模型軟件自動集成和動靜態校驗方法在審
| 申請號: | 202110852667.4 | 申請日: | 2021-07-27 |
| 公開(公告)號: | CN113568601A | 公開(公告)日: | 2021-10-29 |
| 發明(設計)人: | 劉冬群;丁天喜;郭盛昌 | 申請(專利權)人: | 重慶金康動力新能源有限公司 |
| 主分類號: | G06F8/20 | 分類號: | G06F8/20;G06F11/36 |
| 代理公司: | 北京海虹嘉誠知識產權代理有限公司 11129 | 代理人: | 胡博文 |
| 地址: | 401333 重慶市沙坪壩區土主鎮月臺路*** | 國省代碼: | 重慶;50 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 基于 集成 配置文件 模型 軟件 自動 靜態 校驗 方法 | ||
1.一種基于集成配置文件的模型軟件自動集成和動靜態校驗方法,其特征在于,包括以下步驟:
S1:根據集成配置文件創建集成模型文件,并根據集成模型文件的配置項進行配置;
S2:掃描所述集成配置文件的子函數模型文件,并根據軟件架構將所述子函數模型文件添加到集成模型文件中;
S3:根據所述子函數模型文件的輸入接口創建信號來源,根據子函數模型文件的輸出接口創建信號目標;
S4:在模型軟件自動集成過程中對集成模型進行靜態校驗。
2.根據權利要求1所述的基于集成配置文件的模型軟件自動集成和動靜態校驗方法,其特征在于,該方法還包括:
S5:在自動集成完成后,對集成模型進行動態校驗。
3.根據權利要求1或2所述的基于集成配置文件的模型軟件自動集成和動靜態校驗方法,其特征在于,所述步驟S2具體包括:
S21:提取集成配置文件的所有子函數模型文件名稱,在集成配置文件同路徑下搜索是否存在所有子函數模型文件,若是,則執行步驟S22,否則提示具體不存在的子函數,并結束;
S22:通過引用模型法將集成配置文件中的所有應用功能子函數模型添加到集成模型文件中,并將引用模型的名稱設置為對應應用功能子函數名稱;
S23:通過創建原子子系統法在集成模型文件中創建與集成配置文件中的所有任務子函數對應的任務子函數,并命名為對應任務子函數名稱;
S24:將添加到集成模型文件中的任務子函數剪切到集成模型文件中對應的功能子函數中;
S25:定義集成模型文件中子函數的布局。
4.根據權利要求3所述的基于集成配置文件的模型軟件自動集成和動靜態校驗方法,其特征在于,所述根據所述子函數模型文件的輸入接口創建信號來源所采用的方法具體包括:
S311:獲取集成模型文件中每層中的每個功能子函數的輸入接口;
S312:逐一判斷所述功能子函數的輸入接口變量名稱是否包含在所述集成配置文件中相應子函數輸入接口變量列表中,若否,則提示具體子函數具體輸入接口變量名稱在集成配置文件中未定義,然后跳轉到步驟S315;否則執行步驟S313;
S313:判斷輸入接口變量的來源是否為集成模型以外,若是,則通過add_block函數在該輸入接口前添加Inport模塊,然后將該模塊名稱設置為該輸入接口變量名稱;否則執行步驟S314;
S314:判斷每個輸入接口變量的來源子函數是否比該子函數先執行,若是,則執行步驟S315,否則執行S316;
S315:通過add_block函數在該接口前添加From模塊,并將模塊屬性Tag設置為該輸入接口變量名稱,然后通過add_line將該模塊與該輸入接口連接起來,;
S316:通過add_block函數在該接口前添加Delay模塊,將該模與該輸入接口連接起來;再添加From模塊,將模塊屬性Tag設置為該輸入接口變量名稱,將與Delay模塊連接起來。
5.根據權利要求4所述的基于集成配置文件的模型軟件自動集成和動靜態校驗方法,其特征在于,所述根據子函數模型文件的輸出接口創建信號目標具體包括:
S321:獲取集成模型文件每層中的每個功能子函數的輸出接口;
S322:逐一判斷所述功能子函數的輸出接口變量名稱是否包含在所述集成配置文件中相應子函數輸出接口變量列表中,若否,則提示具體子函數具體輸出接口變量名稱在集成配置文件中未定義,然后跳轉到步驟S325;否則執行步驟S323;
S323:判斷輸出接口變量的目標是否為集成模型以外,若是,則通過add_block函數在該接口后添加Outport模塊,并將該模塊名稱設置為該輸出接口變量名稱,然后跳轉至步驟S325;否則執行步驟S324;
S324:判斷每個輸出接口變量的目標是否僅為集成模型以內,若是,則執行步驟S325,否則執行S326;
S325:通過add_block函數在該接口后添加Goto模塊,并將模塊屬性Tag設置為該輸出接口變量名稱,并通過add_line將該模塊與該輸出接口連接起來;
S326:通過add_block函數在該接口后添加Goto模塊和Outport模塊,將該兩個模與該輸出接口連接起來。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于重慶金康動力新能源有限公司,未經重慶金康動力新能源有限公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/202110852667.4/1.html,轉載請聲明來源鉆瓜專利網。





