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

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

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

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