| 中文摘要 | 第1-3页 |
| ABSTRACT | 第3-6页 |
| 第一章 绪论 | 第6-8页 |
| ·研究背景 | 第6页 |
| ·本文工作 | 第6-7页 |
| ·论文组织 | 第7-8页 |
| 第二章 文献综述 | 第8-16页 |
| ·协议工程与形式化方法 | 第8-13页 |
| ·TETRA系统与TETRA协议栈开发 | 第13-16页 |
| 第三章LLC协议分析与实现 | 第16-64页 |
| ·LLC层协议分析及系统设计 | 第16-29页 |
| ·各功能单元划分 | 第16页 |
| ·LLC接口设计 | 第16-20页 |
| ·协议数据单元(PDU)设计 | 第20-23页 |
| ·LLC实体的数据结构设计 | 第23-29页 |
| ·端点标识符与请求句柄 | 第23-24页 |
| ·寻址 | 第24页 |
| ·用户数据缓存 | 第24-25页 |
| ·扩展的错误保护 | 第25-26页 |
| ·计时器和限制值 | 第26页 |
| ·服务原语 | 第26-27页 |
| ·PDU | 第27-28页 |
| ·请求句柄(HandleTable) | 第28页 |
| ·逻辑链路表(LinkTable) | 第28-29页 |
| ·逻辑链路管理单元（LLM） | 第29-33页 |
| ·主要过程设计 | 第30-31页 |
| ·逻辑链路管理 | 第31-33页 |
| ·基本链路单元(BLM) | 第33-55页 |
| ·主要过程设计 | 第35-38页 |
| ·确认方式的基本链路过程 | 第35-37页 |
| ·无确认方式的基本链路过程 | 第37-38页 |
| ·链路控制(Link_Control) | 第38-39页 |
| ·确认方式基本链路(Basic_Link_Acknowledged) | 第39-50页 |
| ·无确认方式基本链路(Basic_Link_Unacknowledged) | 第50-55页 |
| ·Formatter单元（FM） | 第55-63页 |
| ·主要过程设计 | 第56-57页 |
| ·Formatter实体（Formatter） | 第57-63页 |
| ·PDU优先级的处理 | 第63-64页 |
| 第四章 仿真结果 | 第64-68页 |
| ·初始化过程 | 第64页 |
| ·未及时收到MAC层的MAC-READY信号导致的发送失败 | 第64-65页 |
| ·成功发送基本链路的数据，并收到了对应的确认 | 第65-68页 |
| 第五章 结论与展望 | 第68-69页 |
| 参考文献 | 第69-71页 |
| 发表论文和科研情况说明 | 第71-72页 |
| 致谢 | 第72页 |
