原廠商
韓國Suresoft，是KOLAS測評機構，提升安全關鍵領域軟件可信度。
應用分析
? 產品認證要求：行業標準（ISO-26262，DO-178C等）要求開發嵌入式軟件，須進行模型靜態檢查
? 高模型質量要求：采用MBD模式，開發嵌入式軟件10年來，廣泛使用Simulink / Targetlink模型進行設計，設計質量的保證，離不開模型靜態檢查/規范檢查，高質量模型才能生成高質量代碼
? 適用的用戶：
? 急待提升模型設計質量、模型自動生成代碼質量的企業；
? 被設計風格迥異、協同開發迭代困難、多子系統集成錯誤定位困難等困擾的團隊；
? 期望在設計、驗證各個環節快速保證產品質量的企業決策人。
基本功能
? Model Inspector，簡稱MI，模型靜態檢查工具，支持建模規范檢查、復雜度度量，檢查Simulink/TargetLink模型，提高模型質量（更安全、更易用、更輕量），堪比模型界的“QAC”！
? 支持大多數國際通用規則，484條行業標準建模規則
? 支持復雜度度量：21種模型度量指標
? 違規指導：提供違規建議、糾正建議
? 違規修改：自動化修改；全程追溯定位模型違規位置
? 自動生成多種格式的報告（pdf, html, xls）
特色功能
? 認證資質：ISO-26262 / DO-178C / IEC61508等
? 功能更完善：
? 規則更全（標準規則484條），覆蓋各歷史版本規則
? 復雜度指標加倍（度量指標21種）
? 檢查程度更完備（檢查規則包含的每條描述）
? 工程易用性好：
? 批量模型檢查
? 用戶定義復雜度量指標閾值
? 獨立性好，面向用戶友好界面
? 開放擴展性好：
? 用戶自由裁剪、組合、編輯已有規則，用戶自定義規則
恒潤團隊 & 解決方案
? 團隊咨詢經驗豐富，MBD咨詢經驗10年+，多個典型用戶的建模規范咨詢：
? 定制產品級規范檢查流程
? 深度詢服務
? 定制產品級建模指南
? 定制產品級模型庫、建模模板
經緯恒潤
北京市海淀區知春路7號致真大廈D座6層
郵箱：market_dept@hirain.com
網址：www.hirain.com
