Simulink Code Inspector加強了MathWorks對DO-178認證的支持

Simulink Code Inspector加強了MathWorks對DO-178認證的支持

日前，MathWorks在2011b版 (R2011b)MATLAB和Simulink產品系列中新引入了Simulink Code Inspector，該產品促進了對基于Simulink模型生成的源代碼的檢查。航空工程師們現在可以使用Simulink Code Inspector來創建詳細的模型到代碼和代碼到模型的檢查報告，實現DO-178B表 A-5中規定的源代碼驗證和可追蹤目標。

傳統上，根據需求驗證代碼是一個耗時且容易出錯的過程，它要求根據項目檢查表手動逐行檢查代碼。而Simulink Code Inspector是使用自動化過程根據模型來驗證生成的代碼結構。該過程基于所生成代碼中的運算、運算符和數據，系統性地比較模型中使用的功能塊、參數和設置，從而檢查結構等同性。

Simulink Code Inspector也會生成驗證和可追蹤性報告，這些報告可以進行查看、存檔并與認證機構共享，可極大縮減驗證時間和成本。通過Simulink Code Inspector，工程師們可以通過使用高完整性系統中所常用的Simulink功能塊和模型參數的特定子集來準備代碼檢查的模型。接著，他們可以根據模型生成并檢查代碼，并審核檢查和可追蹤性報告。

用于系統設計與仿真的 Simulink、用于生成飛行代碼的Embedded Coder以及用于檢查源代碼的 Simulink Code Inspector，這3個產品的結合為航空工程師們提供了一個適用于基于模型的設計和 DO-178開發和驗證的高度自動化和靈活的環境。