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 十多年，咨詢經驗豐富，開展多個典型用戶的建模規范咨詢服務：
- 定制產品級規范檢查流程
- 深度培訓、指導 / 定制開發
- 定制產品級建模指南（規范）
- 定制產品級模型庫、建模模板、配置模板
