Model Inspector — 軟體模型靜態規範檢查工具

Model Inspector （MI）原廠商是韓國 Suresoft，是 KOLAS 公認測評機構，旨在提升安全關鍵領域軟體可信度。 

MI 用於開發過程中模型的靜態檢查，包括規範檢查、複雜度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 標準規範及檢查，檢查 Targetlink 等模型是否符合建模標準、評估模型設計的合理性。 

MI 具備 ISO-26262/IEC61508 等認證資質，支撐基於模型的高可靠、高安全的嵌入式電子產品驗證及確認平臺，在現代、起亞等企業得到應用。

MI 是標準化的靜態檢查工具，可以對模型進行自動化、批量化建模規範檢查、複雜度度量，提升使用者的模型質量，其工作流程如圖：

產品認證資質

工具具備 ISO-26262（汽車）/ IEC61508（通用）等認證資質。

支援的標準和檢查項

支援大多數國際通用規則，480+ 條行業標準建模規則：

- 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 

- 使用者自定義標準（定製規範檢查）

支援複雜度度量

全方位模型度量，20 多種模型度量指標，從模型程式碼行數、複雜度，到各個模組、子系統、 庫， 再到Stateflow 各類轉移，還有資料結構層級分析、複雜度分析等，針對整個模型 / 單個子系統分別統計，支援使用者定義檢查閾值： 

- 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)

顯著特點  

-  支援市面上主流模型生成程式碼工具

-  功能完備度高 

• 規則更全（標準規則 484 條），覆蓋各歷史版本規則

• 複雜度指標加倍（度量指標 21 種）

• 檢查程度更完備（檢查規則包含的每條描述） 

- 工程易用性好 

• 獨立性好，面向使用者友好介面

• 全程追溯，雙向自動定位模型違規位置

• 工程化管理

• 提供違規原因、糾正建議

• 支援模型批量檢查、區域性子系統檢查 / 不檢查執行

• 自動修改違規細則

• 速度提升 50%~85% 左右

• 自動生成多種格式的報告（pdf，html，xls） 

- 擴充套件性、開放性好 

• 支援自定義複雜度度量指標比較閾值

• 支援自定義分組管理、複用、編輯已有規則

• 支援寫程式碼呼叫 API 執行檢查

• 支援自定義規則

我們推廣 MBD 十多年，諮詢經驗豐富，開展多個典型使用者的建模規範諮詢服務： 

- 定製產品級規範檢查流程 

- 深度培訓、指導 / 定製開發 

- 定製產品級建模指南（規範） 

- 定製產品級模型庫、建模模板、配置模板