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 執行檢查

支持自定義規則

應用案例 & 資深團隊

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

我們推廣 MBD 十多年，咨詢經驗豐富，開展多個典型用戶的建模規范咨詢服務：

定制產品級規范檢查流程

深度培訓、指導 / 定制開發

定制產品級建模指南（規范）

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