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

【摘要】：航天嵌入式軟件是面向航天領(lǐng)域的特殊的嵌入式軟件，它的健壯性和可靠性直接關(guān)系到航天飛行器的安全。只有對(duì)軟件進(jìn)行充分的調(diào)試驗(yàn)證，才能保證飛行器的安全。因此，為了提高調(diào)試驗(yàn)證效率，設(shè)計(jì)一種快速的，通用的測(cè)試工具顯得尤為重要。 本文根據(jù)航天嵌入式軟件的測(cè)試要求，通過對(duì)嵌入式調(diào)試驗(yàn)證一體化平臺(tái)的整體設(shè)計(jì)進(jìn)行了分析，主要針對(duì)1553B總線從通信體系架構(gòu)，圖形化建模，代碼生成和在線監(jiān)控四個(gè)方面進(jìn)行了詳細(xì)分析。針對(duì)1553B總線通信體系架構(gòu)，采用了驅(qū)動(dòng)層，邏輯層和應(yīng)用層的分層設(shè)計(jì)，，實(shí)現(xiàn)板卡與用戶之間的交互，及對(duì)1553B初始化流程的改進(jìn)，使得總線通信框架的配置更加靈活；針對(duì)圖形化建模，采用靜態(tài)建模的方法對(duì)目標(biāo)機(jī)的硬件測(cè)試環(huán)境進(jìn)行仿真，采用動(dòng)態(tài)建模的方法對(duì)目標(biāo)機(jī)的測(cè)試時(shí)序進(jìn)行仿真；針對(duì)代碼生成，提出了1553B消息的發(fā)送/接收數(shù)據(jù)的硬件接口抽象和整個(gè)工程代碼框架的設(shè)計(jì)；針對(duì)在線監(jiān)控，設(shè)計(jì)了對(duì)數(shù)據(jù)字，數(shù)據(jù)位進(jìn)行實(shí)時(shí)監(jiān)控的控件。經(jīng)過對(duì)航天嵌入式軟件的測(cè)試，本文提出的調(diào)試驗(yàn)證方法可以很好的滿足相關(guān)要求。
[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.
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TP336

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 蒲艦舸,雷航;MIL-STD-1553B總線上的實(shí)時(shí)調(diào)度算法[J];成都信息工程學(xué)院學(xué)報(bào);2005年05期

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

3 馬捷中,陸艷洪,翟正軍;1553B總線控制器和遠(yuǎn)程終端軟件設(shè)計(jì)[J];測(cè)控技術(shù);2003年02期

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

5 李紅衛(wèi),李翠萍;嵌入式軟件的調(diào)試技術(shù)[J];計(jì)算機(jī)時(shí)代;2002年08期

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

7 王學(xué)寶;黃志立;朱勇;;基于ARM的智能1553通訊模塊設(shè)計(jì)[J];微計(jì)算機(jī)信息;2010年08期

8 程作仁 ,李麗 ,高明倫 ,張多利;通用測(cè)試平臺(tái)的討論[J];微電子學(xué)與計(jì)算機(jī);2001年05期

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

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

相關(guān)碩士學(xué)位論文 前2條

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

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

本文編號(hào)：1872504