基于SDL库的跨平台多媒体应用

本文介绍了SDL(SimpleDirectMediaLayer)以及如何使用SDL来开发跨平台的多媒体应用的方法。着重研究了SDL的声音、图形、多线程子系统 ,以及使用SDL开发跨平台多媒体应用的问题及解决方法。     

密钥交换过程的SDL模型分析

分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题.通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过程中的应用过程.特点是运用SDL,分析得出了密钥加密密钥交换的框架结构,并使用比特状态探测算法对其进行了验证.     

基于SDL语言的通信协议系统设计方法

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

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

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

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

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

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

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

Linux下开发打潜艇游戏

使用SDL开发的打潜艇游戏可在Linux系统下运行.通过程序,可对在Linux系统下使用SDL进行游戏开发的技术进行了解,对开发类似的程序有启示作用.     

UML和SDL在开发L2CAP协议中的结合运用

建模语言的选取对软件开发至关重要，选择合适的建模语言可提高软件开发的效率，产生高质量的软件。UML和SDL是运用最广泛的两种建模语言。该文在分析二者的优缺点的基础上，以开发L2CAP为例，阐述了如何在同一软件开发过程中运用UML和SDL。     

用于通信网络协议开发的形式化方法

阐述了在开发通信网络协议中遇到的困难，提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法，即SDL、ESTELLE、Petri网、LOT0s，并给出了对这些形式化方法的分析和评价。     

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

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