原廠商

韓國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年+，多個典型使用者的建模規範諮詢：

♦ 定製產品級規範檢查流程

♦ 深度培訓/諮詢服務

♦ 定製產品級建模指南

♦ 定製產品級模型庫、建模模板

您的模型質量診斷專家—MI

相關文章