Simulink Code Inspector. Simulink程式碼檢查器

Introduction

可針對DO-178及其他安全標準，自動進行原始碼的檢測。Simulink程式碼檢查器可以自動比對所產生的程式碼與其原始碼，以符合 DO- 178和其他高標準的程式碼審查目標。程式碼檢查器可以系統性的檢查模快組、參數、模型和配置，以確定所產生程式碼的操作、操作者及數據資料在結構上與原始碼相同。 Simulink的程式碼檢查器提供詳細的模型-到程式碼，和程式碼-到模型的可追溯性分析，根據它產生結構的等效性和可追溯性報告，您可以提交給核證的機關，以滿足 DO- 178的軟體編碼核查目標。本工具箱使用需搭配MATLAB、Simulink。