[發明專利]一種實現模型規范檢查自定義的方法

在審

• 申請號: 201710124373.3
• 申請日: 2017-03-03
• 公開（公告）號: CN106951606A
• 公開（公告）日: 2017-07-14
• 發明（設計）人: 夏洪濤;焦玉
• 申請（專利權）人: 浙江仕善汽車科技股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50;G06F9/44
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種實現模型規范檢查自定義的方法，其特征是包括：

（1）在工業標準建模工具MATLAB中Simulink環境下編寫 m腳本，新建Simulink自定義檢查項實現模型檢查的定制化，具體包括：

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/871302dest\_path\_image002.GIF$自定義模型檢查的主函數及子函數，其中主函數調用子函數，子函數中實現定制化過程；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/363463dest\_path\_image004.GIF$在子函數中自定義過程塊，過程塊中添加自定義檢查項；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/667405dest\_path\_image006.GIF$自定義檢查項，檢查項中包含所要對模型進行檢查的內容；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/739266dest\_path\_image008.GIF$把③所定義的檢查項添加到②所定義的過程塊中，至此模型檢查自定義m腳本編寫完畢；

（2）對m腳本slblocks.m改寫實現模型規范檢查模塊庫，具體包括：

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/445054dest\_path\_image002.GIF$在Simulink庫中生存模型檢查目錄，此目錄下包含模型檢查配置模塊；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/645135dest\_path\_image004.GIF$調用模型更新檢查函數，以定義模型更新信息；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/436373dest\_path\_image006.GIF$使用Simulink庫中的Custom M-file模塊，并調用上述m腳本，把相關文件添加到MATLAB路徑下，至此模型規范檢查自定義開發完成；

$說明:\; 說明:\; 說明:\; 說明:\; 說明:\; C:/Program\; Files\; (x86)/gwssi/CPC客戶端/cases/inventions/7f5a3d42-6ee5-4b86-bac3-29b2e59500c6/new/100002/311925dest\_path\_image008.GIF$打開Simulink模塊庫運行此腳本，在Simulink庫下就會生成模型規范檢查模塊庫；

（3）把（2）中建立的模型檢查配置模塊添加到Simulink模型中，雙擊此配置模塊就會啟動模型檢查工具，此檢查工具中包含（1）中所建立的自定義檢查項；

（4）執行模型檢查工具中的自定義檢查項以檢查對模型進行規范檢查，檢查通過此檢查項會出現”√”標識，不通過會提示原因，然后修改模型再進行檢查。