產(chǎn)品概述
Model Inspector（MI）原廠商是韓國Suresoft，是KOLAS國際公認(rèn)測評(píng)機(jī)構(gòu)，旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。MI用于開發(fā)過程中模型的靜態(tài)檢查，包括規(guī)范檢查、復(fù)雜度度量，提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE標(biāo)準(zhǔn)規(guī)范及檢查，檢查Simulink、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ī)則，480+條行業(yè)標(biāo)準(zhǔn)建模規(guī)則：
- 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
- 用戶自定義標(biāo)準(zhǔn)（定制規(guī)范檢查）
· 支持復(fù)雜度度量
全方位模型度量，20多種模型度量指標(biāo)，從MATLAB代碼行數(shù)、復(fù)雜度，到Simulink模塊、子系統(tǒng)、庫，再到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 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及以上
顯著特點(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ò)展性好、開放性好
- 支持自定義復(fù)雜度度量指標(biāo)比較閾值
- 支持自定義分組管理、復(fù)用、編輯已有規(guī)則
- 支持寫代碼調(diào)用API執(zhí)行檢查
- 支持自定義規(guī)則
應(yīng)用案例
使用MI進(jìn)行建模規(guī)范自動(dòng)化檢查的用戶廣泛，如現(xiàn)代、起亞等，并為用戶打造從建立規(guī)范到自動(dòng)化檢查的綜合解決方案。
經(jīng)緯恒潤推廣MBD十多年，咨詢經(jīng)驗(yàn)豐富，開展多個(gè)典型用戶的建模規(guī)范咨詢服務(wù)：
· 定制產(chǎn)品級(jí)規(guī)范檢查流程
· 深度培訓(xùn)、指導(dǎo)/定制開發(fā)
· 定制產(chǎn)品級(jí)建模指南（規(guī)范）
· 定制產(chǎn)品級(jí)模型庫、建模模板、配置模板
