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

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

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