調試驗證平臺下以太網及CAN接口模型的研究與實現(xiàn).pdf_第1頁
已閱讀1頁，還剩74頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、航天嵌入式軟件是面向航天領域的特殊的嵌入式軟件，它的可靠性和健壯性直接關系到航天飛行器的安全。如果沒有對軟件進行充分的調試和驗證，一旦出現(xiàn)問題，不僅造成飛行器的損毀，甚至會造成人員的傷亡和巨大的財產損失。所以對航天嵌入式軟件進行快速的、有效的測試就變得極其重要。
　　本文根據(jù)航天嵌入式軟件系統(tǒng)的測試要求，結合模型驅動開發(fā)技術，本文對調試驗證一體化平臺的系統(tǒng)整體設計進行了分析描述，并對以太網以及CAN的接口模型設計、板卡IO配置、接

2、口抽象代碼、模型驗證以及生成文件的組織結構四個方面進行了詳細分析。針對以太網及CAN接口模型設計提出了變量配置和流程圖建模相結合的技術；針對以太網及CAN板卡屬性配置，通過手動配置以太網及CAN板卡IO實現(xiàn)；針對以太網及CAN接口抽象，提出了由接口變量類型抽象，板卡初始化接口抽象，數(shù)據(jù)發(fā)送和接收抽象相結合的方法；針對以太網及CAN模型驗證，結合通信技術，指定了有效的驗證準則；針對以太網及CAN模型生成文件組織結構，提出了與系統(tǒng)總體生成代

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論