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

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

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