本文選題：嵌入式軟件 + 1553B總線��； 參考：《西安電子科技大學》2013年碩士論文

【摘要】：航天嵌入式軟件是面向航天領域的特殊的嵌入式軟件，它的健壯性和可靠性直接關系到航天飛行器的安全。只有對軟件進行充分的調試驗證，才能保證飛行器的安全。因此，為了提高調試驗證效率，設計一種快速的，通用的測試工具顯得尤為重要。 本文根據(jù)航天嵌入式軟件的測試要求，通過對嵌入式調試驗證一體化平臺的整體設計進行了分析，主要針對1553B總線從通信體系架構，圖形化建模，代碼生成和在線監(jiān)控四個方面進行了詳細分析。針對1553B總線通信體系架構，采用了驅動層，邏輯層和應用層的分層設計，，實現(xiàn)板卡與用戶之間的交互，及對1553B初始化流程的改進，使得總線通信框架的配置更加靈活；針對圖形化建模，采用靜態(tài)建模的方法對目標機的硬件測試環(huán)境進行仿真，采用動態(tài)建模的方法對目標機的測試時序進行仿真；針對代碼生成，提出了1553B消息的發(fā)送/接收數(shù)據(jù)的硬件接口抽象和整個工程代碼框架的設計；針對在線監(jiān)控，設計了對數(shù)據(jù)字，數(shù)據(jù)位進行實時監(jiān)控的控件。經(jīng)過對航天嵌入式軟件的測試，本文提出的調試驗證方法可以很好的滿足相關要求。
[Abstract]:Spaceflight embedded software is a special embedded software facing space field. Its robustness and reliability are directly related to the safety of spacecraft. Only when the software is fully debugged and verified, can the safety of the aircraft be guaranteed. Therefore, in order to improve the efficiency of debugging and verification, it is very important to design a fast and universal testing tool. According to the test requirements of aerospace embedded software, this paper analyzes the whole design of the integrated platform of embedded debugging and verification, mainly aiming at 1553B bus from the communication architecture, graphical modeling, Code generation and online monitoring are analyzed in detail. Aiming at the 1553B bus communication architecture, the driver layer, logic layer and application layer are adopted to realize the interaction between the card and the user, and to improve the initialization flow of 1553B, which makes the configuration of the bus communication framework more flexible. Aiming at graphical modeling, static modeling method is used to simulate the hardware test environment of target machine, and dynamic modeling method is used to simulate the test sequence of target machine. The hardware interface abstraction of 1553B message sending / receiving data and the design of the whole engineering code frame are presented, and the real-time monitoring control of data word and data bit is designed for on-line monitoring. After testing the aerospace embedded software, the debugging and verification method proposed in this paper can meet the relevant requirements.
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2013
【分類號】：TP336

【參考文獻】

相關期刊論文 前10條

1 蒲艦舸,雷航;MIL-STD-1553B總線上的實時調度算法[J];成都信息工程學院學報;2005年05期

2 ;Wind River Workbench成為Eclipse首選開發(fā)工具[J];電信工程技術與標準化;2008年04期

3 馬捷中,陸艷洪,翟正軍;1553B總線控制器和遠程終端軟件設計[J];測控技術;2003年02期

4 邵維忠,梅宏;統(tǒng)一建模語言UML述評[J];計算機研究與發(fā)展;1999年04期

5 李紅衛(wèi),李翠萍;嵌入式軟件的調試技術[J];計算機時代;2002年08期

6 方涌奎 ,邵祖國;模擬量輸入輸出單元的應用介紹[J];精密制造與自動化;2004年04期

7 王學寶;黃志立;朱勇;;基于ARM的智能1553通訊模塊設計[J];微計算機信息;2010年08期

8 程作仁 ,李麗 ,高明倫 ,張多利;通用測試平臺的討論[J];微電子學與計算機;2001年05期

9 喬志剛,張志勇,闞振舉;基于PCI總線的數(shù)字量輸入輸出卡及驅動程序設計[J];自動化技術與應用;2005年02期

10 王軼昆;;通用嵌入式軟件仿真測試環(huán)境GESTE2.0隆重發(fā)布[J];中國航天;2007年09期

相關碩士學位論文 前2條

1 馮煜;基于GEF的狀態(tài)圖和活動圖建模工具的設計與實現(xiàn)[D];西安電子科技大學;2011年

2 張濤;層次化建模中狀態(tài)圖建模技術的研究與實現(xiàn)[D];西安電子科技大學;2011年

本文編號：1872504