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

Model Inspector （MI）原廠商是韓國(guó) Suresoft，是 KOLAS 公認(rèn)測(cè)評(píng)機(jī)構(gòu)，旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。

MI 用于開(kāi)發(fā)過(guò)程中模型的靜態(tài)檢查，包括規(guī)范檢查、復(fù)雜度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 標(biāo)準(zhǔn)規(guī)范及檢查，檢查 Targetlink 等模型是否符合建模標(biāo)準(zhǔn)、評(píng)估模型設(shè)計(jì)的合理性。

MI 具備 ISO-26262/IEC61508 等認(rèn)證資質(zhì)，支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗(yàn)證及確認(rèn)平臺(tái)，在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。

產(chǎn)品介紹

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

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

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

支持的標(biāo)準(zhǔn)和檢查項(xiàng)

支持大多數(shù)國(guó)際通用規(guī)則，480+條行業(yè)標(biāo)準(zhǔn)建模規(guī)則：

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

用戶自定義標(biāo)準(zhǔn)（定制規(guī)范檢查）

支持復(fù)雜度度量

全方位模型度量，20 多種模型度量指標(biāo)，從模型代碼行數(shù)、復(fù)雜度，到各個(gè)模塊、子系統(tǒng)、 庫(kù)， 再到Stateflow 各類轉(zhuǎn)移，還有數(shù)據(jù)結(jié)構(gòu)層級(jí)分析、復(fù)雜度分析等，針對(duì)整個(gè)模型 / 單個(gè)子系統(tǒng)分別統(tǒng)計(jì)，支持用戶定義檢查閾值：

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)

顯著特點(diǎn)

支持市面上主流模型生成代碼工具

功能完備度高

規(guī)則更全（標(biāo)準(zhǔn)規(guī)則 484 條），覆蓋各歷史版本規(guī)則

復(fù)雜度指標(biāo)加倍（度量指標(biāo) 21 種）

檢查程度更完備（檢查規(guī)則包含的每條描述）

工程易用性好

獨(dú)立性好，面向用戶友好界面

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

工程化管理

提供違規(guī)原因、糾正建議

支持模型批量檢查、局部子系統(tǒng)檢查 / 不檢查運(yùn)行

自動(dòng)修改違規(guī)細(xì)則

速度提升 50%~85% 左右

自動(dòng)生成多種格式的報(bào)告（pdf，html，xls）

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

支持自定義復(fù)雜度度量指標(biāo)比較閾值

支持自定義分組管理、復(fù)用、編輯已有規(guī)則

支持寫(xiě)代碼調(diào)用 API 執(zhí)行檢查

支持自定義規(guī)則

應(yīng)用案例 & 資深團(tuán)隊(duì)

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

我們推廣 MBD 十多年，咨詢經(jīng)驗(yàn)豐富，開(kāi)展多個(gè)典型用戶的建模規(guī)范咨詢服務(wù)：

定制產(chǎn)品級(jí)規(guī)范檢查流程

深度培訓(xùn)、指導(dǎo) / 定制開(kāi)發(fā)

定制產(chǎn)品級(jí)建模指南（規(guī)范）

定制產(chǎn)品級(jí)模型庫(kù)、建模模板、配置模板