网络协议工程
课程编码：180086085405M3001H
英文名称：Network Protocol Engineering
课时：40
学分：2.00
课程属性：专业课
主讲教师：刘立祥
教学目的要求
本课程在介绍新型网络关键技术和协议的体系结构及其主要协议的基础上，全面介绍网络新技术的概念、发展、基本原理和基本方法，并学习从协议描述、验证、到协议实现和测试的协议开发过程，使学生掌握网络的发展趋势并具有使用协议工程方法进行协议开发的能力，为今后从事协议研究工作奠定了理论基础。
预修课程
计算机网络
TCPIP网络协议
大纲内容
第一章 网络新技术概述 4.0学时 刘立祥
第1节 网络技术发展与问题分析
第2节 网络和因特网流量类型
第3节 大数据、云计算和移动流量
第4节 QoS和QoE
第5节 路由选择与拥塞控制
第6节 SDN和NFV
第7节 网络虚拟化
第二章 服务质量 2.0学时 刘立祥
第1节 QoS体系结构
第2节 区分服务
第3节 QoE体验质量
第4节 有限状态机FSM
第5节 QoS和QoE对网络的影响
第三章 SDN：软件定义网络 3.0学时 刘立祥
第1节 背景
第2节 SDN数据平面和Openflow
第3节 SDN控制平面
第4节 SDN应用平面
第四章 卫星互联网 6.0学时 刘立祥
第1节 卫星互联网概念
第2节 卫星轨道计算
第3节 卫星互联网问题分析
第4节 卫星互联网协议体系
第五章 Petri网 6.0学时 刘立祥
第1节 基本概念和原理
第2节 P/T系统
第3节 分析技术
第4节 高级网系统
第5节 实例分析
第六章 网络协议构造 3.0学时 刘立祥
第1节 协议构造原理
第2节 协议构造过程
第3节 OSI协议构造
第七章 网络协议描述 4.0学时 刘立祥
第1节 描述方法
第2节 服务模型
第3节 协议模型
第4节 有限状态机FSM
第5节 时序逻辑TL
第6节 通信进程演算CCS
第八章 网络协议验证 4.0学时 刘立祥
第1节 验证方法
第2节 可达性分析
第3节 不变性分析
第4节 程序证明
第5节 等价性分析
第6节 混合分析方法
第九章 网络协议实现 4.0学时 刘立祥
第1节 实现方法
第2节 代码半自动生成技术
第3节 模块通信实现技术
第4节 数据缓冲技术
第5节 协议并行处理技术
第十章 网络协议测试 4.0学时 刘立祥
第1节 一致性测试模型
第2节 测试描述语言TTCN
第3节 测试序列生成方法
教材信息
1、
网络协议工程
吴礼发
2011年4月
电子工业出版社
参考书
1、
高速网络与互联网-性能与服务质量
现代网络技术
天地一体化网络
william Stallings著 齐望东 薛卫娟等译
william Stallings著，胡超 邢长友 陈鸣译
刘立祥著
2003年1月
2019年3月
2015年6月
电子工业出版社
机械工业出版社
科学出版社
课程教师信息
刘立祥，男，中共党员，1973年6月生，安徽安庆人，中科院软件所研究员，博士生导师。2002年毕业于上海交通大学电子工程学院，获博士学位，2003年进入中科院软件所计算机科学与技术专业博士后流动站工作，中科院公共安全、装发高分专项地面应用系统专家组成员，主要从事综合信息系统智能组网、大规模一体化系统地面验证以及复杂信息系统体系结构方面的研究