原廠商
韓國Suresoft，是KOLAS測評機(jī)構(gòu)，提升安全關(guān)鍵領(lǐng)域軟件可信度。
應(yīng)用分析
? 產(chǎn)品認(rèn)證要求：行業(yè)標(biāo)準(zhǔn)（ISO-26262，DO-178C等）要求開發(fā)嵌入式軟件，須進(jìn)行模型靜態(tài)檢查
? 高模型質(zhì)量要求：采用MBD模式，開發(fā)嵌入式軟件10年來，廣泛使用Simulink / Targetlink模型進(jìn)行設(shè)計，設(shè)計質(zhì)量的保證，離不開模型靜態(tài)檢查/規(guī)范檢查，高質(zhì)量模型才能生成高質(zhì)量代碼
? 適用的用戶：
? 急待提升模型設(shè)計質(zhì)量、模型自動生成代碼質(zhì)量的企業(yè)；
? 被設(shè)計風(fēng)格迥異、協(xié)同開發(fā)迭代困難、多子系統(tǒng)集成錯誤定位困難等困擾的團(tuán)隊(duì)；
? 期望在設(shè)計、驗(yàn)證各個環(huán)節(jié)快速保證產(chǎn)品質(zhì)量的企業(yè)決策人。
基本功能
? 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)閾值
? 獨(dú)立性好，面向用戶友好界面
? 開放擴(kuò)展性好：
? 用戶自由裁剪、組合、編輯已有規(guī)則，用戶自定義規(guī)則
恒潤團(tuán)隊(duì) & 解決方案
? 團(tuán)隊(duì)咨詢經(jīng)驗(yàn)豐富，MBD咨詢經(jīng)驗(yàn)10年+，多個典型用戶的建模規(guī)范咨詢：
? 定制產(chǎn)品級規(guī)范檢查流程
? 深度詢服務(wù)
? 定制產(chǎn)品級建模指南
? 定制產(chǎn)品級模型庫、建模模板
經(jīng)緯恒潤
北京市海淀區(qū)知春路7號致真大廈D座6層
郵箱：market_dept@hirain.com
網(wǎng)址：www.hirain.com
