利用模型化基礎設計進行嵌入式系統的驗證及有效性檢測

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

• 把要求編寫進你的模型，之後在設計、測試、程式碼階段持續地驗證並追蹤要求的落實情形。
• 證實你的設計符合要求，並且自動地產生測試。
• 利用靜態分析以及正式的方法來檢查模型與程式碼是否確實遵照要求。
• 找出程式臭蟲(bugs)與安全漏洞，以確保模型與程式碼不會發生執行階段錯誤(run-time errors)。
• 產生可用於標準認證的報告與文件(例如DO-178和ISO 26262)。

• 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，以及相關功能安全標準的認證過程。