藍牙串口仿真協議的研究與實現.pdf

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

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