藍(lán)牙串口仿真協(xié)議的研究與實(shí)現(xiàn).pdf

1、藍(lán)牙協(xié)議棧中的串口仿真協(xié)議位于L2CAP協(xié)議層和應(yīng)用層協(xié)議層之間，提供了基于L2CAP協(xié)議層之上的模擬串口，從而對(duì)現(xiàn)有使用串行線接口的應(yīng)用提供了支持。本文首先對(duì)藍(lán)牙協(xié)議體系和串口仿真協(xié)議層進(jìn)行了深入的分析，然后詳細(xì)講述了形式化的協(xié)議軟件開(kāi)發(fā)方法，即通過(guò)形式化技術(shù)SDL語(yǔ)言和消息序列圖對(duì)協(xié)議進(jìn)行描述和開(kāi)發(fā)。 傳統(tǒng)的協(xié)議軟件開(kāi)發(fā)主要采用落后的閱讀協(xié)議然后手工編碼的方法，這樣的開(kāi)發(fā)過(guò)程耗時(shí)較長(zhǎng)，代碼質(zhì)量沒(méi)有保障。形式化的開(kāi)發(fā)方法相對(duì)于

2、閱讀協(xié)議后直接編碼的開(kāi)發(fā)方法來(lái)說(shuō)，具有更高的開(kāi)發(fā)效率和質(zhì)量。 本文系統(tǒng)地使用了基于狀態(tài)轉(zhuǎn)換模型的形式化協(xié)議開(kāi)發(fā)方法對(duì)藍(lán)牙串口仿真協(xié)議進(jìn)行了形式化描述和實(shí)現(xiàn)，詳細(xì)講述了通過(guò)SDL和MSC對(duì)協(xié)議進(jìn)行描述、驗(yàn)證與代碼生成的過(guò)程，同時(shí)介紹了在協(xié)議實(shí)現(xiàn)過(guò)程中注意到的問(wèn)題，并對(duì)各種描述與驗(yàn)證方法進(jìn)行了比較。 與傳統(tǒng)協(xié)議開(kāi)發(fā)方法相比，形式化開(kāi)發(fā)方法不僅能夠節(jié)省開(kāi)發(fā)時(shí)間，而且能夠通過(guò)開(kāi)發(fā)過(guò)程中的多次驗(yàn)證提高代碼的質(zhì)量，當(dāng)然這種方法也有不