Model Inspector （MI）原廠商是韓國 Suresoft，是 KOLAS 公認(rèn)測評機(jī)構(gòu)，旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。 
 

MI 用于開發(fā)過程中模型的靜態(tài)檢查，包括規(guī)范檢查、復(fù)雜度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 標(biāo)準(zhǔn)規(guī)范及檢查，檢查 Targetlink 等模型是否符合建模標(biāo)準(zhǔn)、評估模型設(shè)計的合理性。 

MI 具備 ISO-26262/IEC61508 等認(rèn)證資質(zhì)，支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗證及確認(rèn)平臺，在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。

產(chǎn)品介紹

MI 是標(biāo)準(zhǔn)化的靜態(tài)檢查工具，可以對模型進(jìn)行自動化、批量化建模規(guī)范檢查、復(fù)雜度度量，提升用戶的模型質(zhì)量，其工作流程如圖：

產(chǎn)品認(rèn)證資質(zhì)

工具具備 ISO-26262（汽車）/ IEC61508（通用）等認(rèn)證資質(zhì)。

支持的標(biāo)準(zhǔn)和檢查項

支持大多數(shù)國際通用規(guī)則，480+ 條行業(yè)標(biāo)準(zhǔn)建模規(guī)則：

- MAAB

- Modeling design and style guidelines for the applicatin（MISRA_AC_SLSF） 

- Modeling style guidelines for the application of TargetLink in the context of automatic code generation（MISRA_AC_TL） 

- dSPACE Modeling Guidelines 

- Modeling Guidelines for High-Integrity System（HIS） 

- Modeling Guidelines for Code Generation（CG） 

- Suresoft Guidelines 

- 用戶自定義標(biāo)準(zhǔn)（定制規(guī)范檢查）

支持復(fù)雜度度量

全方位模型度量，20 多種模型度量指標(biāo)，從模型代碼行數(shù)、復(fù)雜度，到各個模塊、子系統(tǒng)、 庫， 再到Stateflow 各類轉(zhuǎn)移，還有數(shù)據(jù)結(jié)構(gòu)層級分析、復(fù)雜度分析等，針對整個模型 / 單個子系統(tǒng)分別統(tǒng)計，支持用戶定義檢查閾值： 

- Number of subsystems 

- Number of blocks 

- Number of linked library 

- Number of charts 

- Number of all objects in the chart 

- Number of states 

- Number of transitions 

- Number of Model function 

- Number of Stateflow code lines 

- Effective lines of Model function code metric 

- Subsystem depth 

- Number of incoming transition 

- Number of outgoing transition 

- Number of atomic condition transition 

- Nondescriptive block name 

- Data and structure layer separation 

- Complexity (Local, Global) 

- Cohesion 

- Coupling (Fan-In) 

- Coupling (Fan-Out)

顯著特點 

- 支持市面上主流模型生成代碼工具

- 功能完備度高 

• 規(guī)則更全（標(biāo)準(zhǔn)規(guī)則 484 條），覆蓋各歷史版本規(guī)則
• 復(fù)雜度指標(biāo)加倍（度量指標(biāo) 21 種）
• 檢查程度更完備（檢查規(guī)則包含的每條描述） 

- 工程易用性好 

• 獨立性好，面向用戶友好界面
• 全程追溯，雙向自動定位模型違規(guī)位置
• 工程化管理
• 提供違規(guī)原因、糾正建議
• 支持模型批量檢查、局部子系統(tǒng)檢查 / 不檢查運行
• 自動修改違規(guī)細(xì)則
• 速度提升 50%~85% 左右
• 自動生成多種格式的報告（pdf，html，xls） 

- 擴(kuò)展性、開放性好 

• 支持自定義復(fù)雜度度量指標(biāo)比較閾值
• 支持自定義分組管理、復(fù)用、編輯已有規(guī)則
• 支持寫代碼調(diào)用 API 執(zhí)行檢查
• 支持自定義規(guī)則

應(yīng)用案例 & 資深團(tuán)隊

使用MI進(jìn)行建模規(guī)范自動化檢查的用戶廣泛，如現(xiàn)代、起亞等，并為用戶打造從建立規(guī)范到自動化檢查的綜合解決方案。

我們推廣 MBD 十多年，咨詢經(jīng)驗豐富，開展多個典型用戶的建模規(guī)范咨詢服務(wù)： 

- 定制產(chǎn)品級規(guī)范檢查流程 

- 深度培訓(xùn)、指導(dǎo) / 定制開發(fā) 

- 定制產(chǎn)品級建模指南（規(guī)范） 

- 定制產(chǎn)品級模型庫、建模模板、配置模板