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