| 中文摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 1 引言 | 第9-11页 |
| ·蓝牙技术简介 | 第9-10页 |
| ·本文研究内容及组织结构 | 第10-11页 |
| 2 蓝牙协议及其体系结构 | 第11-18页 |
| ·蓝牙协议体系概述 | 第11-12页 |
| ·蓝牙核心协议 | 第12-15页 |
| ·蓝牙控制流及数据流 | 第15-16页 |
| ·移动及安全性 | 第16-18页 |
| 3 协议的形式化开发方法 | 第18-29页 |
| ·形式化描述协议模型 | 第18-19页 |
| ·形式化描述语言SDL | 第19-26页 |
| ·有限状态机 | 第26-29页 |
| 4 蓝牙串口仿真协议的形式化描述和实现 | 第29-50页 |
| ·协议参考模型 | 第29-30页 |
| ·协议的SDL 描述 | 第30-39页 |
| ·协议的验证 | 第39-44页 |
| ·协议代码的生成 | 第44-50页 |
| 5 串口仿真协议的封装 | 第50-56页 |
| ·为传统应用提供虚拟串口 | 第51-53页 |
| ·建立模拟串行连接 | 第53-56页 |
| 6 结论 | 第56-57页 |
| 参考文献 | 第57-58页 |
| 附录 | 第58-59页 |
| 专业术语英文缩写解释 | 第58-59页 |
| 作者简历 | 第59-60页 |