基于SDL模式的通信协议开发

研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性.该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量.     

基于SDL语言的移动Ad-hoc网路由协议的设计和验证

论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点，并给出在移动Ad—hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。     

基于SPIN内核的SDL模型检验工具设计

规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的建模。使用模型检验技术对SDL进行分析和验证可以检测出模型中的逻辑错误,大大提高SDL建模结果的精确性。论文研究了SDL的形式化语义SDL/PR中常用部分与模型检验工具SPIN的输入语言Promela之间的语义映射规则,并以此为基础开发了一个基于SPIN内核的SDL模型检验器SSMC Tool。     

Solaris9下SDL混合开发机理

分析了Solaris9 下ObjectGeode开发平台将SDL语言翻译成C语言的流程及文件生成机制.深入探讨了经ObjectGeode翻译器翻译后的C代码的内部工作机理和并行模块间的通信方式.并结合实际工作情况,提出了如何进行SDL和C混合开发的一般解决方案.     

基于SDL语言的VxWorks嵌入式操作系统的具体实现

随着嵌入式系统通信协议的复杂性急剧提高,迫使工程师们去寻找一种效率更高的设计工具来完成工作,而SDL作为一种图形化的设计满足了这种需要,因此RTOS-SDL相结合的思路应运而生。主要说明了把SDL应用在VxWorks中的步骤和具体实现中遇到的问题,以及编程中的一些技巧。而且经试验表明,采用这种方法不但可以完成原先的需求,而且还可以在有限的时间内完成程序的编写,提高工作效率,对于SDL和嵌入式系统的结合具有很好的参考价值。     

如何在SDL中调用C语言函数

从实际工作出发,提出了在SDL中调用C语言函数的必要性,并给出了SDL语言中使用C语言数据类型、公共变量以及调用C语言函数的方法。这种方法具有很强的实用性,大大提高了工作效率,加快了实时多任务系统应用软件的开发。此方法实际应用于第三代移动通信系统TD-SCDMA高层信令的开发,收到了良好效果。     

基于SDL的网络搜索引擎系统的形式化研究

搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统。     

UML与SDL结合使用的研究

1 引言在介绍如何将SDL与UML结合在一起使用之前,让我们先来回顾一下UML和SDL各自的适应范围。它们性能上的差异在于它们在工程应用中的不同的阶段。UML的非形式化的自然特性使其成为一种性能优越的建模语言,它应用完全的面向对象的分析(OOA)方法。然而对于实施,UML却不能胜任,通常要用传统的程序设计语言如C /Java来完成,而SDL的形式化定义使得它取代传统的程序设计语言有了可能。OOA与SDL相结合己有相当长的时间了,先用OOA(主要是类图和用例/概要)进行需求分析和识别对象,然后用SDL/MSC来精确定义系统的架构和系统的需求与系统的行为。很自然,我们可以用UML来进行需求分析,用SDL进行系统设计。     

Prolog程序的规范与自动综合

本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法.     

用SDL设计WCDMA测试终端的软件系统

论文简要介绍了SDL语言及其支持工具,以及它们在通信软件设计中的运用,并通过一个实例对如何利用SDL语言设计和开发实时软件系统进行了详细的说明。文章的目标系统是一个WCDMA测试终端的软件系统,它是一个用于测试WCDMA无线网络节点的设备,开发的内容包括WCDMA的部分协议以及相关的控制程序。另外,论文还对利用SDL进行实时软件开发的特点进行了总结。     

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

To simplify modeling and verification of communication protocols presented in the SDL language, the so-called hierarchical typed timed Petri nets (HTT nets), which are substantial modifications of colored Petri nets, are introduced. A method of translation of the SDL language into HTT nets is described. A program complex SPV (SDL Protocol Verifier), which includes a translator from SDL into HTT nets and means for editing, simulation, visualization, and verification of these net models, is presented. For the verification, a model checking method for properties presented by μ-calculus formulas is used. Experiments on application of the SPV complex for modeling and verifying two ring protocols (RE and ATMR protocols), an optimized version of the sliding window protocol (i-protocol), and a dynamic version of the InRes protocol are described     

Design and application of Simple Data Link (SDL) framing protocol

The Simple Data Link (SDL) framing protocol is uniquely designed to delineate packets in high-speed communications. SDL can identify the boundaries of variable length frames by using length indication and Header Error Correction (HEC) check. In this paper, we derive an HEC hunting algorithm for bit-level and octet-level operations and propose a hardware circuit to simplify the implementation of an SDL framer. By employing only one CRC detector, the proposed framer can reduce the hunting time of packet delineation just like using multiple framers in parallel. To evaluate the performance of SDL in next generation optical networks, the packet loss probability of Optical Burst Switching (OBS) networks is examined. Analytical results reveal that receivers with SDL framers can greatly reduce packet loss probability than those with only pure IP headers.     

将UML模型转换成SDL模型的方法

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

802.11协议固件实现中的SDL与C语言之间的映射

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

TD-LTE接入层安全性设计与实现

在研发时分-长期演进(TD-LTE)无线终端综合测试仪时,一致性测试有着非常重要的作用。基于此,选用规范描述语言(SDL)与树表描述语言TTCN(Tree Tabular Combine Notation)对接入层安全性的设计进行了仿真测试,提出了一种基于SDL+TTCN的测试方法。最后采用ARM Work-bench IDE编译软件在ARM1176JZF-S芯片上对测试后的效果进行了验证。     

基于SDL的H.264流媒体播放系统

针对目前广泛使用的H．264标准,设计了一种基于SDL和ffmpeg的流媒体播放系统．将经过RTP封装的流媒体信息解除封装处理后,利用ffmpeg良好的解码能力对数据进行解码,之后再利用SDL优异的视频性能进行实时显示,并同时将流媒体数据保存在本地以供随时调用．实验证明,该播放系统解码播放的实时性出色,画质良好,此外凭借ffmpeg和SDL的跨平台特性,系统具有良好的移植性和拓展性,适用于嵌入式设备和手机平台．