產品概述

      Model Inspector（MI）原廠商是韓國Suresoft，是KOLAS國際公認測評機構，旨在提升安全關鍵領域軟件可信度。MI用于開發過程中模型的靜態檢查，包括規范檢查、復雜度度量，提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE標準規范及檢查，檢查Simulink、Targetlink等模型是否符合建模標準、評估模型設計的合理性。MI具備ISO 26262/IEC61508等認證資質，支撐基于模型的高可靠、高安全的嵌入式電子產品驗證及確認平臺，在現代、起亞等企業得到應用。

產品介紹

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

       · 產品認證資質

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

       · 支持的標準和檢查項

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

        - MathWorks Automotive Advisory Board（MAAB）

        - Modeling design and style guidelines for the application of Simulink and Stateflow（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多種模型度量指標，從MATLAB代碼行數、復雜度，到Simulink模塊、子系統、庫，再到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 MATLAB function

        - Number of Stateflow code lines

        - Effective lines of MATLAB 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)

       · 支持檢查的產品

        - MATLAB/Simulink/Stateflow(MathWorks)R2011b及以上

        - TargetLink(dSPACE)v3.3及以上

顯著特點

       · 功能完備度高

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

        - 復雜度指標加倍（度量指標21種）

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

       · 工程易用性好

        - 獨立性好，面向用戶友好界面

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

        - 工程化管理

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

        - 支持模型批量檢查、局部子系統檢查/不檢查運行

        - 自動修改違規細則

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

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

       · 擴展性好、開放性好

        - 支持自定義復雜度度量指標比較閾值

        - 支持自定義分組管理、復用、編輯已有規則

        - 支持寫代碼調用API執行檢查

        - 支持自定義規則

應用案例

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

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

       · 定制產品級規范檢查流程

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

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

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