原廠商

        韓國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