Model Inspector
關(guān)注創(chuàng)建者：經(jīng)緯恒潤 創(chuàng)建時間：2022-04-22
Model Inspector的實例教程
Model Inspector （MI）原廠商是韓國 Suresoft，是 KOLAS 公認(rèn)測評機(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ī)范及檢查，檢查 Targetlink 等模型是否符合建模標(biāo)準(zhǔn)、評估模型設(shè)計的合理性。
MI 具備 ISO-26262/IEC61508 等認(rèn)證資質(zhì)，支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗證及確認(rèn)平臺，在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。
產(chǎn)品介紹
MI 是標(biāo)準(zhǔn)化的靜態(tài)檢查工具，可以對模型進(jìn)行自動化、批量化建模規(guī)范檢查、復(fù)雜度度量，提升用戶的模型質(zhì)量，其工作流程如圖：
產(chǎn)品認(rèn)證資質(zhì)
工具具備 ISO-26262（汽車）/ IEC61508（通用）等認(rèn)證資質(zhì)。
展開 基本功能
? Model Inspector，簡稱MI，模型靜態(tài)檢查工具，支持建模規(guī)范檢查、復(fù)雜度度量，檢查Simulink/TargetLink模型，提高模型質(zhì)量（更安全、更易用、更輕量），堪比模型界的“QAC”！
? 支持大多數(shù)國際通用規(guī)則，484條行業(yè)標(biāo)準(zhǔn)建模規(guī)則
? 支持復(fù)雜度度量：21種模型度量指標(biāo)? 違規(guī)指導(dǎo)：提供違規(guī)建議、糾正建議
? 違規(guī)修改：自動化修改；全程追溯定位模型違規(guī)位置
? 自動生成多種格式的報告（pdf, html, xls）
特色功能
? 認(rèn)證資質(zhì)：ISO-26262 / DO-178C / IEC61508等
? 功能：
? 規(guī)則更全（標(biāo)準(zhǔn)規(guī)則484條），覆蓋各歷史版本規(guī)則
? 復(fù)雜度指標(biāo)加倍（度量指標(biāo)21種）
? 檢查程度（檢查規(guī)則包含的每條描述）
? 工程易用性好：
? 批量模型檢查
? 用戶定義復(fù)雜度量指標(biāo)閾值
? 獨立性好，面向用戶友好界面
? 開放擴(kuò)展性好：
? 用戶自由裁剪、組合、編輯已有規(guī)則，用戶自定義規(guī)則
恒潤團(tuán)隊 & 解決方案
? 團(tuán)隊咨詢經(jīng)驗豐富，MBD咨詢經(jīng)驗10年+，多個典型用戶的建模規(guī)范咨詢：
? 定制產(chǎn)品級規(guī)范檢查流程
? 深度培訓(xùn)/咨詢服務(wù)
? 定制產(chǎn)品級建模指南
? 定制產(chǎn)品級模型庫、建模模板
經(jīng)緯恒潤
北京市海淀區(qū)知春路7號致真大廈D座6層
郵箱：market_dept@hirain.com
網(wǎng)址：www.hirain.com
展開 
Model Inspector的相關(guān)專題、標(biāo)簽、搜索
Model Inspector的最新內(nèi)容
Model Inspector （MI）原廠商是韓國 Suresoft，是 KOLAS 公認(rèn)測評機(jī)構(gòu)，旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。
基本功能
? Model Inspector，簡稱MI，模型靜態(tài)檢查工具，支持建模規(guī)范檢查、復(fù)雜度度量，檢查Simulink/TargetLink模型，提高模型質(zhì)量（更安全、更易用、更輕量），堪比模型界的“QAC”！
