產品及服務 > Simulink Check™ , Simulink驗證標準檢測工具
Simulink Check™ , Simulink驗證標準檢測工具

Introduction
Simulink驗證標準檢測工具 提供業界認可的檢查和指標,以確認開發過程符合標準並指出違反規範的部分。 支援高整合性軟體開發標準包括DO-178,ISO 26262,IEC 61508,IEC 62304和MathWorks Automotive Advisory Board(MAAB)樣式規範。編輯即時檢查可在您編輯時就確認是否有違反規定的問題。可以建立客製化檢查項目以符合您的標準或準則。

Simulink Check™ (Simulink驗證標準檢測工具)提供大小和複雜度等指標,可用於評估模型的架構和是否符合標準。 綜合指標儀表板可讓您評估設計狀態和品質。 自動模型重構可以替代重複的設計元素,降低設計複雜度,並識別可重複使用的內容。此工具並支援IEC品質驗證套裝組(符合ISO 26262和IEC 61508)和DO品質驗證套裝組(DO-178), 讓您可以與業界標準接軌。

本工具箱使用需搭配MATLAB、Simulink。

Key Features

  • 編輯即時檢查以指出違反模型標準規定的情況
  • 符合性檢查MAAB樣式標準和高整合性軟體開發標準(DO-178,ISO 26262,IEC 61508,IEC 62304)
  • 安全編寫程式碼標準的符合性檢查(CERT C,CWE,ISO / IEC TS 17961)
  • 使用模型建議配置編輯器(Model Advisor Configuration Editor)客製檢查項目
  • 計算模型大小,複雜度和可讀性的指標
  • 提供指標和項目狀態的統一視覺化圖表的儀表板
  • 使用複製檢測和模型轉換進行模型重構