6LoWPAN適配層的CPN建模及一致性測(cè)試研究.pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)的飛速發(fā)展和廣泛應(yīng)用，物聯(lián)網(wǎng)已經(jīng)成為一種重要的新型網(wǎng)絡(luò)廣泛應(yīng)用于各個(gè)領(lǐng)域。物聯(lián)網(wǎng)可以通過嵌入式無線網(wǎng)絡(luò)來實(shí)現(xiàn)。6LoWPAN(IPv6overLow-power Wireless Personal Area Network)是在IEEE802.15.4的基礎(chǔ)上實(shí)現(xiàn)IPv6的通信，可以將無線局域網(wǎng)與互聯(lián)網(wǎng)連接起來，從而實(shí)現(xiàn)物聯(lián)網(wǎng)的相關(guān)功能。IETF(Internet Engineering Task Force)工程任務(wù)

2、組成立的6LoWPAN工作組，專門從事基于IEEE802.15.4標(biāo)準(zhǔn)的IPv6協(xié)議棧的研究工作。
　　 6LoWPAN技術(shù)的功能主要通過協(xié)議棧中的適配層來實(shí)現(xiàn)IPv6網(wǎng)絡(luò)層與鏈路層的連接。6LoWPAN的網(wǎng)絡(luò)層使用IPv6標(biāo)準(zhǔn)，底層使用IEEE802.15.4標(biāo)準(zhǔn)，6LoWPAN的創(chuàng)新之處在于實(shí)現(xiàn)了IPv6與IEEE802.15.4的連接。
　　 協(xié)議是網(wǎng)絡(luò)通信的核心技術(shù)，沒有良好的協(xié)議作為支撐，低速無線個(gè)域網(wǎng)穩(wěn)定性很

3、難保證，整體節(jié)能也難以實(shí)現(xiàn)，其低功耗市場(chǎng)競(jìng)爭(zhēng)優(yōu)勢(shì)便不復(fù)存在。因此需要對(duì)協(xié)議進(jìn)行測(cè)試以驗(yàn)證協(xié)議實(shí)現(xiàn)的正確性。本文基于CPN和TTCN-3對(duì)6LoWPAN適配層的一致性測(cè)試進(jìn)行了以下研究：
　　 首先，分析了6LoWPAN研究工作組已有的說明文檔以及6LoWPAN基于的兩個(gè)標(biāo)準(zhǔn)即IPv6協(xié)議棧和IEEE802.15.4標(biāo)準(zhǔn)，重點(diǎn)分析了6LoWPAN適配層的協(xié)議規(guī)范，根據(jù)協(xié)議規(guī)范設(shè)計(jì)并實(shí)現(xiàn)了適配層核心功能作為本文的被測(cè)系統(tǒng)。