99午夜福利在线观看-8x8x8x免费观看视频-蜜臀白丝爆浆18禁一区二区三区-高清国产美女一级a爱-国产欧美日韩.com.-a网站在线观看-日韩无在线视频观看第一区-日本无码色情三级播放

航電系統機載軟件設計環境是與SCADE配套的開發測試工具軟件，它主要針對SCADE在安全關鍵領域的工程實踐過程中存在的薄弱環節進行了有效的補充，很好的提升了本地化用戶體驗，是SCADE在工程實踐應用中的絕佳搭配。通過采用航電系統機載軟件設計環境，能較好的解決模型開發引出的問題。

  業務需求

航電系統機載軟件設計環境包含一臺高性能臺式計算機作為服務器，用于機載軟件模型重用支持系統存儲模型數據等文件，另外提供以下軟件模塊工具：

• ICD接口自動生成器

• 模型靜態分析工具

• 模型動態測試工具

• 基于438B的文檔生成器

  特征優勢

• 提供從外部XML格式的ICD文件到接口C文件的轉換功能

• 底層數據采用數據庫來存儲ICD元素和項目管理元素

• 支持SCADE Suite R16模型的分析

• 支持SCADE Suite模型的動態測試

• 支持SCADE Suite R16模型文檔生成

  
  

  系統框圖

  功能描述

• 提供多種總線類型包括ARINC664、1553B（GJB289A）、A429（HB6096）、RS422的ICD接口生成功能

• 提供一套參考模型規范，該規范應涵蓋命名、安全約束、復雜度約束和推薦實踐內容

• 提供模型規范自定義功能，允許用戶根據項目的實際情況，對具體的規范進行參數設定，支持個性化模型

• 針對定制的模型，自動進行測試封裝

• 根據測試任務定義，自動進行模型封裝、調用測試用例進行執行，并給出測試是否通過的結果

• 針對測試結果數據，提供圖形化的分析工具

• 支持與用戶指定的可執行文件，simulink模型或另一SCADE模型進行對比測試，以對比結果作為預期結果，進行對比分析

• 提供滿足GJB438B模板要求的文檔模板

• 允許用戶自定義文檔模板

  應用領域

本解決方案適用于對綜合源代碼的設計標準提供參考模型規范以及對模型進行優化。