基于SDL语言的通信协议系统设计方法 被引量：5

1

作者 章韵 杨庚 钱恩渊 《计算机工程与应用》 CSCD 北大核心 2001年第22期95-97,151,共4页

SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一... SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一种有效的方法。 展开更多

关键词 通信协议 系统设计 sdl语言 软件工程 计算机网络

在线阅读 下载PDF 职称材料

基于SDL的DSRC协议设计 被引量：2

2

作者 屠宇 徐建闽 钟慧玲 《计算机工程与应用》 CSCD 北大核心 2004年第13期156-158,162,共4页

专用短程通信(DSRC)技术是专用于智能交通系统(ITS)领域的短距离无线通信技术,DSRC协议的设计是DSRC技术中的核心内容。该文设计了DSRC协议的三层体系结构,提出了使用SDL语言进行协议设计的方法。协议的具体实现证明上述方法的应用对确... 专用短程通信(DSRC)技术是专用于智能交通系统(ITS)领域的短距离无线通信技术,DSRC协议的设计是DSRC技术中的核心内容。该文设计了DSRC协议的三层体系结构,提出了使用SDL语言进行协议设计的方法。协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。 展开更多

关键词 DSRC sdl 协议设计

在线阅读 下载PDF 职称材料

MPLS路由协议的SDL设计与实现 被引量：3

3

作者 杨洋 潘胜发 +1 位作者 石昆 林孝康 《计算机应用》 CSCD 北大核心 2003年第8期61-63,共3页

简要介绍了现有的OSPF协议,并提出了含有流量参数特性的改进OSPF协议,使其成为MPLS路由协议一种较好的选择。针对MPLS主干网络的特点简化了改进的OSPF协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果。

关键词 MPLS 路由协议 OSPF sdl 设计 仿真

在线阅读 下载PDF 职称材料

SDL协议的研究与应用设计 被引量：1

4

作者 温向明 尹瀚 朱祥华 《北京邮电大学学报》 EI CAS CSCD 北大核心 2001年第3期74-79,共6页

针对 SDL协议中存在的问题 ,对其协议机制进行了研究和改进 ,增强了承载不同网络协议的通用性 ,提高了网络自身纠错能力 .研究了头部 CRC检错和纠错问题 ,以及 MPL S标签在SDL协议中的应用问题 ,给出了一种头部 CRC纠错及 MPL S标签在 ... 针对 SDL协议中存在的问题 ,对其协议机制进行了研究和改进 ,增强了承载不同网络协议的通用性 ,提高了网络自身纠错能力 .研究了头部 CRC检错和纠错问题 ,以及 MPL S标签在SDL协议中的应用问题 ,给出了一种头部 CRC纠错及 MPL S标签在 SDL协议中的使用方法 .最后提出了一种能够识别 MPL S标签的 展开更多

关键词 通信协议 sdl协议 通信网

在线阅读 下载PDF 职称材料

基于TETRA协议的SDL模型与C语言映射规则 被引量：1

5

作者 汪浩 权进国 林孝康 《计算机工程》 CAS CSCD 北大核心 2007年第18期64-66,共3页

介绍了SDL与C语言之间映射的意义,基于TETRA协议,从数据类型、信号传递、信号保存和进程调度4个方面分析了二者之间映射的若干规则。讨论了在实际应用中,提高映射效率须注意的问题。该文提出的映射规则提高了映射代码的效率,适用于自动... 介绍了SDL与C语言之间映射的意义,基于TETRA协议,从数据类型、信号传递、信号保存和进程调度4个方面分析了二者之间映射的若干规则。讨论了在实际应用中,提高映射效率须注意的问题。该文提出的映射规则提高了映射代码的效率,适用于自动映射工具不支持的特定操作系统。 展开更多

关键词 陆上集群无线电协议 sdl 映射 信号

在线阅读 下载PDF 职称材料

将UML模型转换成SDL模型的方法 被引量：1

6

作者 吴柏青 魏仰苏 蒋国明 《计算机工程与设计》 CSCD 北大核心 2007年第16期3864-3866,3869,共4页

提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有... 提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。 展开更多

关键词 统一建模语言 规范和描述语言 模型转换 形式化语义 协议

在线阅读 下载PDF 职称材料

SDL在空间通信协议开发中的应用 被引量：1

7

作者 胡凯 刘成 刘锴 《飞行器测控学报》 CSCD 2013年第2期137-141,共5页

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利... 针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。 展开更多

关键词 规范与描述语言(sdl) 空间通信 空间通信协议规范-传输协议(SCPS-TP) 形式化协议开发

在线阅读 下载PDF 职称材料

基于SDL的PPP协议软件形式化开发

8

作者 宋瑾钰 魏仰苏 《浙江理工大学学报（自然科学版）》 2005年第3期250-253,共4页

介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。

关键词 形式描述技术 sdl语言 PPP协议

在线阅读 下载PDF 职称材料

802.11协议固件实现中的SDL与C语言之间的映射 被引量：2

9

作者 和诚凯 申振宁 +1 位作者 刘乃安 曾兴雯 《计算机工程》 CAS CSCD 北大核心 2004年第9期97-98,共2页

介绍了SDL与C语言之间的映射，重点讨论了SDL中的关于进程的并行性描述与C语言的顺序执行之间的映射规则，并介绍了这些规则在802.11协议固件实现中的应用。

关键词 sdl 802.11协议 固件 并行性 C语言 映射规则

在线阅读 下载PDF 职称材料

基于SDL的无线传感器网络MAC协议的设计与实现

10

作者 徐维昌 许洪光 原志杰 《通信技术》 2009年第4期96-98,101,共4页

文章首先介绍了无线传感器网络目前采用的典型的MAC协议,并利用SDL语言设计了基于无线信道随机竞争方式的无线传感器网络MAC层协议。协议的实现证明用SDL语言进行通信协议设计可以保证协议的逻辑正确性,并且可以有效地缩短协议开发周期。

关键词 无线传感器网络 MAC层协议 sdl

原文传递

SDL结构特点及其同步性能分析 被引量：2

11

作者 杨利 阮方 葛宁 《电讯技术》 北大核心 2002年第1期26-31,共6页

在POS(PacketoverSDH)设计实现中通常采用PPP HDLC进行数据封装 ,这种方式通过标志以及字节填充实现对数据帧的定界 ,会遇到易受攻击和不适用于STM - 16以上的高速链路处理等问题。针对HDLC的缺点 ,IETF建议了一种新的数据链路封装协议... 在POS(PacketoverSDH)设计实现中通常采用PPP HDLC进行数据封装 ,这种方式通过标志以及字节填充实现对数据帧的定界 ,会遇到易受攻击和不适用于STM - 16以上的高速链路处理等问题。针对HDLC的缺点 ,IETF建议了一种新的数据链路封装协议—SDL(SimpleDataLink) ,它具有实现复杂度低、更适合于高速链路处理等优点。本文介绍了SDL的结构特点 。 展开更多

关键词 光传输网 同步数字系列 简单数据链路封装 帧结构

在线阅读 下载PDF 职称材料

基于SDL的专用短程通信的研究与实现

12

作者 易向东 《广东教育学院学报》 2007年第5期56-59,共4页

专用短程通信(Dedicated Short Range Communication,简称DSRC)是智能交通系统的基础,是一种小范围无线通信系统,它作为车载设备与路边设备的通信平台,通过信息的双向传输将车辆、道路有机地连接起来.针对专用短程通信的三层协议体系结... 专用短程通信(Dedicated Short Range Communication,简称DSRC)是智能交通系统的基础,是一种小范围无线通信系统,它作为车载设备与路边设备的通信平台,通过信息的双向传输将车辆、道路有机地连接起来.针对专用短程通信的三层协议体系结构的复杂性,采用TelelogicTau开发平台上对DSRC协议进行SDL形式化描述和仿真;最后进行了基于ARM与FPGA的协议控制单元的硬件设计. 展开更多

关键词 短程通信 协议仿真 sdl FPGA ARM

在线阅读 下载PDF 职称材料

基于SDL的通信协议开发平台 被引量：1

13

作者 水泉 宋波 倪晓清 《现代电子技术》 2008年第11期26-28,共3页

SDL当前已经普遍应用在通信协议开发中,介绍了一个基于SDL的通信协议开发平台框架和平台中对SDL关键元素的实现方法,通过这个平台提高了通信协议开发中从SDL描述到代码开发的效率和代码的可维护性。

关键词 sdl通信协议 进程 状态机

在线阅读 下载PDF 职称材料

基于SDL的停止等待协议设计与实现 被引量：1

14

作者 张晓霞 李元柳 李冬霞 《通信技术》 2008年第4期112-114,共3页

介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。

关键词 sdl MSC 面向对象的技术 停止等待协议

原文传递

IP over SDH技术在电力系统数据网中的应用 被引量：7

15

作者 管爱东 郑建国 周明全 《计算机技术与发展》 2006年第7期195-196,200,共3页

电力系统数据网是电力系统中的一个关键网络,IP作为数据网的主要数据承载方式,目前电力系统传统的通信模式不能满足其发展的需要。文中研究了IP over SDH技术原理及有关特点,分析了IP over SDH与其它技术相比存在的优势和发展前景,提出... 电力系统数据网是电力系统中的一个关键网络,IP作为数据网的主要数据承载方式,目前电力系统传统的通信模式不能满足其发展的需要。文中研究了IP over SDH技术原理及有关特点,分析了IP over SDH与其它技术相比存在的优势和发展前景,提出了IP over SDH技术在电力系统数据网中的一种组网方案设计。随着SDH关键技术的进一步研发,IPover SDH技术必能在电力数据信息网中得到更加广泛的应用。 展开更多

关键词 IP OVER SDH技术 PPP协议 sdl协议

在线阅读 下载PDF 职称材料

无线传感器网络路由协议的形式化方法研究 被引量：8

16

作者 文凡 李思敏 唐志灵 《国外电子测量技术》 2009年第4期20-23,30,共5页

本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确... 本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。 展开更多

关键词 形式化方法 sdl 无线传感器网络 路由协议

在线阅读 下载PDF 职称材料

专用短程通信MAC层协议研究及仿真实现 被引量：2

17

作者 彭选荣 屠宇 +1 位作者 钟慧玲 徐建闽 《计算机仿真》 CSCD 2004年第9期138-143,共6页

专用短程通信DSRC协议是国际通用的用于道路与车辆通信的规范。TelelogicTau是一套完整的实时软件开发工具 ,广泛应用于通信协议设计、仿真和测试环节。该文简要介绍DSRC协议结构和协议开发工具 ,论述MAC子层协议主要内容如基本功能、... 专用短程通信DSRC协议是国际通用的用于道路与车辆通信的规范。TelelogicTau是一套完整的实时软件开发工具 ,广泛应用于通信协议设计、仿真和测试环节。该文简要介绍DSRC协议结构和协议开发工具 ,论述MAC子层协议主要内容如基本功能、数据帧结构、主要接口等。文章研究形式化描述技术 ,重点论述在TelelogicTau的开发平台下 ,用形式化语言SDL和MSC对MAC层协议进行系统、模块、进程级设计和仿真 ,设计阶段采用自顶向下、逐步求精的方法 ,仿真阶段采用自下而上、逐步集成的方法 。 展开更多

关键词 专用短程通信 MAC层协议 仿真 规范与开发语言 DSRC协议 协议栈

在线阅读 下载PDF 职称材料

基于IP over AOS的空地网络互联性能研究 被引量：5

18

作者 刘建勋 程子敬 +2 位作者 陆翔 林楷 王崇 《计算机工程》 CAS CSCD 北大核心 2016年第6期113-119,共7页

在构建天地一体化网络时,可使用IP技术实现空地网络互联,但空间数据链路时延较长且易阻断。针对该问题,设计一种空地网络互联模拟系统。在传输层采取分段传输控制协议(TCP)技术提高网络传输性能,利用空地网关实现链路层和传输层的协议... 在构建天地一体化网络时,可使用IP技术实现空地网络互联,但空间数据链路时延较长且易阻断。针对该问题,设计一种空地网络互联模拟系统。在传输层采取分段传输控制协议(TCP)技术提高网络传输性能,利用空地网关实现链路层和传输层的协议转换。基于该系统,测试TCP和空间通信传输协议标准-传输协议的传输速率及支撑各应用服务的性能。实验结果表明,与标准TCP相比,分段TCP技术满足视频、语音等服务的传输性能要求,能有效支持各种应用服务。 展开更多

关键词 空地网络互联 空间数据链路 传输层协议 协议转换网关 数据传输

在线阅读 下载PDF 职称材料

TD-LTE系统移动性管理实体测试研究 被引量：4

19

作者 李小文 肖垒 宋海贝 《光通信研究》 北大核心 2011年第4期57-61,共5页

在对协议进行实现的过程中,协议一致性测试非常重要。在研制时分-长期演进(TD-LTE)无线终端综合测试仪的过程中,必须依照协议规范进行设计。基于此,文章选用规范描述语言(SDL)与树表描述语言(TTCN)对演进型分组系统移动性管理(EMM)的实... 在对协议进行实现的过程中,协议一致性测试非常重要。在研制时分-长期演进(TD-LTE)无线终端综合测试仪的过程中,必须依照协议规范进行设计。基于此,文章选用规范描述语言(SDL)与树表描述语言(TTCN)对演进型分组系统移动性管理(EMM)的实现进行了测试仿真,提出了一种基于SDL+TTCN的测试方式。采用ARM Workbench IDE编译软件在ARM1176JZF-S芯片上对测试后的效果进行了验证。 展开更多

关键词 一致性测试 演进型分组系统移动性管理 协议栈 规范描述语言 树表描述语言

在线阅读 下载PDF 职称材料

TETRA空中接口第二层协议的分析与实现 被引量：1

20

作者 桂良启 卢军 郭伟 《光通信研究》 北大核心 2002年第4期26-30,48,共6页

TETRA是欧洲电信标准协会制定的全数字集群通信标准 ,TETRA系统是当今最先进的移动通信系统之一 .文章详细分析了 TETRA空中接口的第二层及其各子层的通信协议 。

关键词 TETRA sdl 空中接口 协议 数字集群移动通信

在线阅读 下载PDF 职称材料