Model Inspector—軟件模型靜態(tài)規范檢查工具

產(chǎn)品概述

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

產(chǎn)品介紹

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

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

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

    · 支持的標準和檢查項

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

    ? 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

    ? 用戶(hù)自定義標準（定制規范檢查）

    · 支持復雜度度量

       全方位模型度量，20多種模型度量指標，從MATLAB代碼行數、復雜度，到Simulink模塊、子系統、庫，再到Stateflow各類(lèi)轉移，還有數據結構層級分析、復雜度分析等，針對整個(gè)模型/單個(gè)子系統分別統計，支持用戶(hù)定義檢查閾值：

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

    · 支持檢查的產(chǎn)品

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

    ? TargetLink(dSPACE)v3.3及以上

顯著(zhù)特點(diǎn)

    · 功能完備度高

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

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

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

    · 工程易用性好

    ? 獨立性好，面向用戶(hù)友好界面

    ? 全程追溯，雙向自動(dòng)定位模型違規位置

    ? 工程化管理

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

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

    ? 自動(dòng)修改違規細則

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

    ? 自動(dòng)生成多種格式的報告（pdf、html、xls）

    · 擴展性好、開(kāi)放性好

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

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

    ? 支持寫(xiě)代碼調用API執行檢查

    ? 支持自定義規則

應用案例

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

        經(jīng)緯恒潤推廣MBD十多年，咨詢(xún)經(jīng)驗豐富，開(kāi)展多個(gè)典型用戶(hù)的建模規范咨詢(xún)服務(wù)：

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

    · 深度培訓、指導/定制開(kāi)發(fā)

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

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