本文選題：嵌入式調(diào)試驗(yàn)證一體化平臺(tái)　切入點(diǎn)：模型驅(qū)動(dòng)開發(fā)技術(shù)　出處：《西安電子科技大學(xué)》2013年碩士論文　論文類型：學(xué)位論文

【摘要】：航天嵌入式軟件是植入航天領(lǐng)域設(shè)備的嵌入式系統(tǒng)軟件，它的可靠性和健壯性直接決定了航天飛行器的安全，這就對(duì)航天嵌入式軟件調(diào)試與驗(yàn)證提出了更嚴(yán)格的要求。為此，我們將模型驅(qū)動(dòng)技術(shù)應(yīng)用于嵌入式軟件調(diào)試工具，使得工程師更多地關(guān)注于系統(tǒng)邏輯設(shè)計(jì)，無(wú)須關(guān)心具體實(shí)現(xiàn)細(xì)節(jié)，提高調(diào)試驗(yàn)證效率。 根據(jù)航天嵌入式軟件系統(tǒng)的測(cè)試要求，結(jié)合模型驅(qū)動(dòng)開發(fā)技術(shù)，本文對(duì)嵌入式調(diào)試驗(yàn)證一體化平臺(tái)的系統(tǒng)整體設(shè)計(jì)進(jìn)行了分析描述，并對(duì)系統(tǒng)硬件接口中串口的接口模型設(shè)計(jì)、板卡IO配置、接口代碼抽象、模型驗(yàn)證以及生成文件的組織結(jié)構(gòu)四個(gè)方面進(jìn)行了詳細(xì)分析。針對(duì)串口接口模型，提出了接口變量配置和流程圖建模相結(jié)合的設(shè)計(jì)；針對(duì)串口板屬性配置，通過(guò)手動(dòng)配置串口板卡IO實(shí)現(xiàn)；針對(duì)串口接口抽象的設(shè)計(jì)，，是由接口變量類型抽象，板卡初始化接口抽象，數(shù)據(jù)發(fā)送和接收接口抽象三部分組成；針對(duì)串口模型驗(yàn)證，結(jié)合串口通信技術(shù)，制定了細(xì)致有效的驗(yàn)證規(guī)則；針對(duì)串口模型生成文件組織結(jié)構(gòu)，確定為與系統(tǒng)建模總體生成代碼文件組織結(jié)構(gòu)相統(tǒng)一的設(shè)計(jì)。經(jīng)過(guò)使用嵌入式調(diào)試與驗(yàn)證一體化平臺(tái)對(duì)實(shí)際航天嵌入式軟件的測(cè)試，本文提出的串口接口模型設(shè)計(jì)滿足相關(guān)要求。
[Abstract]:Spaceflight embedded software is embedded system software embedded in space equipment. Its reliability and robustness directly determine the safety of spacecraft, which puts forward more strict requirements for the debugging and verification of aerospace embedded software. We apply model-driven technology to embedded software debugging tools, which makes engineers pay more attention to the logic design of the system, do not need to care about the details of the implementation, and improve the efficiency of debugging and verification. According to the test requirements of the aerospace embedded software system and the model driven development technology, this paper analyzes and describes the system design of the embedded debugging and verification integrated platform. The interface model design of the serial port in the hardware interface of the system, the IO configuration of the board card, the abstraction of the interface code, the verification of the model and the organization structure of the generating file are analyzed in detail. The combination of interface variable configuration and flow chart modeling is proposed. The interface variable type is abstracted by the interface variable type in the design of interface interface abstraction, which is realized by manually configuring serial port card IO for serial port board attribute configuration. Card initialization interface abstraction, data sending and receiving interface abstraction three components; for serial port model verification, combined with serial communication technology, developed detailed and effective verification rules; for serial port model generation file organization structure, It is determined that the design is unified with the organization structure of the overall generating code file of system modeling. After testing the actual aerospace embedded software by using the integrated platform of embedded debugging and verification, The serial interface model proposed in this paper meets the related requirements.
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TP311.52;TP334.7

【參考文獻(xiàn)】

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

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

2 楊英;實(shí)時(shí)系統(tǒng)用的Posix標(biāo)準(zhǔn)[J];管理科學(xué)文摘;1996年04期

3 徐爐清,頓敦;動(dòng)態(tài)鏈接庫(kù)(DLL)的應(yīng)用[J];機(jī)械與電子;1999年04期

4 龔清萍,何亦征;基于POWER PC通用處理器的CPU模塊設(shè)計(jì)[J];航空電子技術(shù);2003年03期

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

6 馬培蓓,吳進(jìn)華,紀(jì)軍,徐新林;dSPACE實(shí)時(shí)仿真平臺(tái)軟件環(huán)境及應(yīng)用[J];系統(tǒng)仿真學(xué)報(bào);2004年04期

7 王彥剛;呂遵明;萬(wàn)留進(jìn);;VxWorks系統(tǒng)的BSP設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2011年12期

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

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

本文編號(hào)：1569095