驗證、有效性檢測及測試-MATLAB & Simulink應用-鈦思科技

工程團隊利用MATLAB®與Simulink®，以模型化基礎設計(Model-Based Design，又稱基於模型的設計)來進行嵌入式系統的驗證及有效性檢測。團隊可以直接把要求寫進模型裡面，接著利用這些模型產生產品程式碼來進行認證。

模型化基礎設計如何協助符合ISO 26262規範的開發需求

適用於驗證、有效性檢測和測試的Simulink與Polyspace產品

Simulink需求管理工具(Simulink Requirements)：在模型、自動產生的程式碼、以及測試案例中編寫、管理、追蹤設計要求。
Simulink驗證標準檢測工具(Simulink Check)：驗證設計模型是否合乎程式撰寫風格指南、建模標準、以及產業認證標準。
Simulink測試工具箱(Simulink Test)：開發、管理、執行基於模擬的測試(包含軟體迴圈、處理器迴圈、硬體迴圈測試)。
Simulink程式碼覆蓋率測試工具(Simulink Coverage)：利用模型衡量測試完整度並產生程式碼覆蓋率指標。
Simulink設計驗證工具(Simulink Design Verifier)：使用正式的驗證方法來找出隱藏的設計錯誤，確認設計符合要求，並自動地產生測試輸入值。
Polyspace 程式碼查錯器(Polyspace Bug Finder)：檢查是否符合MISRA等標準，以及找出原始程式碼中的安全漏洞和軟體臭蟲。
Polyspace程式碼驗證器(Polyspace Code Prover)：確認原始程式碼不會發生重大執行階段錯誤。
Simulink即時控制工具(Simulink Real-Time)：建立、執行、測試即時的應用。
IEC安全驗證套裝組(IEC Certification Kit)：幫助你驗證程式碼品質，且能簡化你為嵌入式系統申請符合ISO®26262，IEC 61508，EN 50128，以及相關功能安全標準的認證過程。