网络协议新工程第1节-概述.pptVIP

第 １ 章 概述 内容提要 课程名称 网络协议工程 网络：三网（计算机网络、电信网络、CATV），分布式系统/操作系统 协议：规定通信双方交换数据的格式以及有关的同步问题。 工程：用工程化的方法来开发协议 课程目标 为什么要上这门课？ 研讨目标：协议开发中常见的设计技术、形式化描述技术和协议工程学的基本理论 立足点：基于最基本的理论，结合最先进的技术，理解最本质的知识。 本课程包括：阅读资料、面授教学、课堂讨论、学生讲授、习题讨论等环节。希望通过本课程的学习，不仅掌握所涉及的协议开发知识，而且锻炼一些研究生必备的科研技能。 课程目标（续） 内容要求： 对协议工程学有一个基本认识 重点掌握协议设计技术、形式化描述技术（FSM，SDL） 了解协议验证技术和一致性测试技术 锻炼的科研技能： 独立解决一个具体科研问题的能力 科研表达与沟通的能力 撰写科技文章的能力 授课内容 概述 协议设计 形式化描述技术（FSM，PetriNet, SDL, LOTOS, ESTELLE） 协议验证 协议一致性测试 国内相关课程 清华大学：计算机网络中的形式化方法和协议工程学 主要内容：形式化描述方法、一致性测试技术 北京邮电大学：协议工程与通信软件 协议工程的概念 协议模型技术 协议形式化描述技术 协议验证技术 协议实现和测试技术 MSC和SDL语言简介 通信软件设计方法与实践 国内相关课