第1章 绪论 1
1.1 通信与通信协议 1
1.2 通信软件的概念及特点 2
1.3 通信软件开发过程 3
1.3.1 需求分析 3
1.3.2 概要设计 4
1.3.3 详细设计 5
1.4 通信协议开发过程 5
思考题 6
第2章 协议分析技术 8
2.1 协议环境分析 8
2.1.1 用户要求 9
2.1.2 通道性质 13
2.1.3 工作模式 14
2.2 协议功能分析 16
2.2.1 连接控制管理 16
2.2.2 通信方式管理 16
2.2.3 数据发送/接收管理 16
2.2.4 数据安全与完整性 19
2.2.5 发送/接收控制 19
2.2.6 中继 20
2.2.7 路由选择 20
2.2.8 通道管理 21
2.2.9 其他功能 21
思考题 21
第3章 协议设计技术 22
3.1 协议结构设计 22
3.2 协议机制设计 23
3.2.1 连接控制管理 23
3.2.2 重发控制 25
3.3 协议元素设计 26
3.3.1 服务原语和服务原语时序 26
3.3.2 PDU格式和PDU交换时序 27
3.3.3 协议状态 28
3.3.4 协议事件 29
3.3.5 协议变量 29
3.3.6 协议动作和谓词 29
3.4 协议状态机 30
3.4.1 事件状态表 31
3.4.2 有限状态机 33
思考题 34
第4章 协议描述技术 37
4.1 MSC概述 37
4.1.1 MSC的特点 37
4.1.2 MSC的实体类型 38
4.1.3 定义图形文法的符号说明 38
4.2 MSC基础 41
4.2.1 MSC图 41
4.2.2 实例 45
4.2.3 消息 47
4.2.4 条件 48
4.2.5 定时器 49
4.2.6 动作 51
4.2.7 进程创建 52
4.2.8 进程终止 52
4.2.9 方法调用与回复 53
4.2.10 环境与通道 53
4.3 MSC结构概念 54
4.3.1 并发 54
4.3.2 MSC引用 55
4.3.3 线内表达式 56
4.4 高级MSC概念 62
4.5 MSC文档 64
4.6 MSC应用举例 67
4.6.1 硬件结构与工作原理 67
4.6.2 需求分析 69
4.6.3 软件结构设计 69
4.6.4 消息定义 70
4.6.5 消息交互图 70
思考题 80
第5章 规范说明和描述语言SDL5.1 系统行为 81
5.2 SDL系统结构 87
5.3 SDL语法 90
5.3.1 包 91
5.3.2 系统 91
5.3.3 功能块 93
5.3.4 进程 95
5.3.5 过程 97
5.3.6 远端过程 98
5.3.7 信号与信道 102
5.4 系统行为描述 104
5.4.1 开始域 104
5.4.2 状态域 105
5.4.3 触发事件 107
5.4.4 保存域 110
5.4.5 输出域 112
5.4.6 创建进程实例 112
5.4.7 任务域 113
5.4.8 过程调用 114
5.4.9 分支域 117
5.4.10 连接域 118
5.4.11 图形符号连接关系 120
5.5 定时操作 121
5.6 正文扩展与注释 123
5.7 数据定义 124
5.7.1 预定义数据类型 124
5.7.2 定义新的数据类型 126
5.7.3 定义同义类型和同义词 129
5.7.4 变量定义与使用 131
5.7.5 远端变量 132
5.8 面向对象的概念 134
5.8.1 进程类 135
5.8.2 功能块类 139
5.8.3 系统类 141
5.8.4 上下文参数 142
5.8.5 类的特殊处理 143
思考题 148
第6章 集成开发工具简介6.1 Telelogic TAU功能简介 149
6.2 SDL Suite使用方法简介 150
6.2.1 Organizer界面 150
6.2.2 MSC编辑器使用方法简介 152
6.2.3 SDL编辑器使用方法简介 156
6.2.4 Simulator UI 168
6.2.5 Validator UI 171
思考题 176
第7章 电信软件设计举例7.1 包定义 177
7.2 系统图设计 178
7.3 功能块设计 179
7.3.1 设计思路 179
7.3.2 功能块图 179
7.4 进程设计 182
7.4.1 管理进程设计 182
7.4.2 主叫进程设计 188
7.4.3 被叫进程设计 194
7.5 仿真验证 197
7.5.1 仿真运行 197
7.5.2 验证 203
思考题 208
第8章 通信协议设计举例8.1 DSRC协议简介 209
8.2 DSRC协议分析 210
8.2.1 用户要求 210
8.2.2 通道性质 211
8.2.3 DSRC协议工作模式 213
8.2.4 协议功能分析 213
8.3 DSRC协议设计 214
8.3.1 协议结构设计 214
8.3.2 协议机制设计 215
8.3.3 协议元素设计 222
8.4 协议描述 225
8.4.1 系统命名规则 226
8.4.2 DSRC协议系统图 226
8.4.3 DSRC协议模块图 227
8.4.4 DSRC协议进程图 232
8.5 协议仿真与验证 237
8.5.1 模块级别的仿真 238
8.5.2 一对一仿真模式 238
8.5.3 RSU独立仿真模式 238
8.5.4 协议验证 239
思考题 239