亚洲人成色7777在线观看不卡_成人性生交片无码免费看_肉大捧一进一出免费视频_国产麻豆一级在线观看

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

  業(yè)務(wù)需求

航電系統(tǒng)機載軟件設(shè)計環(huán)境包含一臺高性能臺式計算機作為服務(wù)器，用于機載軟件模型重用支持系統(tǒng)存儲模型數(shù)據(jù)等文件，另外提供以下軟件模塊工具：

• ICD接口自動生成器

• 模型靜態(tài)分析工具

• 模型動態(tài)測試工具

• 基于438B的文檔生成器

  特征優(yōu)勢

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

• 底層數(shù)據(jù)采用數(shù)據(jù)庫來存儲ICD元素和項目管理元素

• 支持SCADE Suite R16模型的分析

• 支持SCADE Suite模型的動態(tài)測試

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

  
  

  系統(tǒng)框圖

  功能描述

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

• 提供一套參考模型規(guī)范，該規(guī)范應(yīng)涵蓋命名、安全約束、復(fù)雜度約束和推薦實踐內(nèi)容

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

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

• 根據(jù)測試任務(wù)定義，自動進行模型封裝、調(diào)用測試用例進行執(zhí)行，并給出測試是否通過的結(jié)果

• 針對測試結(jié)果數(shù)據(jù)，提供圖形化的分析工具

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

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

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

  應(yīng)用領(lǐng)域

本解決方案適用于對綜合源代碼的設(shè)計標(biāo)準(zhǔn)提供參考模型規(guī)范以及對模型進行優(yōu)化。