調(diào)試驗(yàn)證平臺(tái)下以太網(wǎng)及CAN接口模型的研究與實(shí)現(xiàn).pdf

1、航天嵌入式軟件是面向航天領(lǐng)域的特殊的嵌入式軟件，它的可靠性和健壯性直接關(guān)系到航天飛行器的安全。如果沒(méi)有對(duì)軟件進(jìn)行充分的調(diào)試和驗(yàn)證，一旦出現(xiàn)問(wèn)題，不僅造成飛行器的損毀，甚至?xí)斐扇藛T的傷亡和巨大的財(cái)產(chǎn)損失。所以對(duì)航天嵌入式軟件進(jìn)行快速的、有效的測(cè)試就變得極其重要。
　　本文根據(jù)航天嵌入式軟件系統(tǒng)的測(cè)試要求，結(jié)合模型驅(qū)動(dòng)開(kāi)發(fā)技術(shù)，本文對(duì)調(diào)試驗(yàn)證一體化平臺(tái)的系統(tǒng)整體設(shè)計(jì)進(jìn)行了分析描述，并對(duì)以太網(wǎng)以及CAN的接口模型設(shè)計(jì)、板卡IO配置、接

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