產品及服務 > Simulink Code Inspector, Simulink 程式碼檢查器
Simulink Code Inspector, Simulink 程式碼檢查器

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

本工具箱使用需搭配MATLAB、Simulink。

Key Features

  • 結構相等的分析和報告
  • 雙向可追蹤性分析和報告
  • 可提供限制性模型、模塊組與程式碼產生器的相容性檢查,通常應用於高標準檢查時
  • 可獨立於其他Simulink® 程式碼產生器來操作
  • 2013b, 支援Stateflow(狀態流程圖) 物件和典型的動作之語法。