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)客製檢查項目
- 計算模型大小，複雜度和可讀性的指標
- 提供指標和項目狀態的統一視覺化圖表的儀表板
- 使用複製檢測和模型轉換進行模型重構
