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

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

一种改进的Ad-hoc路由协议的规范化设计与验证

Ad-hoc路由协议依据路由发现的不同分为主动路由策略和按需路由策略,根据实际网络特点,结合两类协议的优点,提出一种适合快速拓扑更新的无线路由协议。并采用SDL语言工具设计验证了这种小型高移动性无线网络的路由协议。     

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

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

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

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

OSPFv3路由协议在FreeBSD下的实现研究

随着IPv6协议在Internet中的广泛应用,人们更多地将注意力集中在路由器对IPv6协议的支持上。设计和开发基于IPv6的路由协议软件也更加重要。本文分析了OsPFv2路由协议与OSPFv3路由协议之间的不同,并且基于RFC2740设计开发了一个OSPFv3路由协议软件,该软件在实验网络环境中的运行取得了良好的效果。     

基于SDL的无线局域网MAC协议设计与实现

目前较流行的无线局域网MAC芯片的设计方案是在设计中嵌入ARM微处理器，其核心内容是WLAN MAC协议的设计实现。文章利用SDL语言实现该协议，并对协议进行了仿真验证。     

专用短程通信MAC层协议研究及仿真实现

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

通信协议形式化模型的研究

本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础．     

基于水下无线传感器网络路由协议的仿真

水下环境的复杂特性是水下传感器网络(UWSN)设计路由协议时面临的挑战。为了在源节点和目的节点之间建立高效、可靠的传输路径,分别对基于压力的路由协议、节能型路由协议及基于矢量转发的路由协议进行论述和分析,对各种路由协议性能进行了评述。并采用Aqua-Sim仿真软件对基于矢量转发的VBF协议和HH-VBF协议进行了仿真分析。结果表明,HH-VBF协议在数据包传递率和平均剩余能量方面要优于VBF协议,该仿真验证了理论分析的正确性。     

基于RS-232标准的一种实用串行通信协议的设计和实现

该文介绍了笔者在开发工业温度检测系统的一些设计思想和体会,给出通信协议的设计和协议的源代码实现。对于采用了RS-232接口进行串行通信的计算机测控系统软件的设计和开发,具有一定的参考价值。     

无线传感器网络路由协议研究

路由协议提供了从源节点到目的节点的优化路径,在无线传感器网络体系结构中至关重要。本文首先针对无线传感器网络的特点,提出了在路由协议的设计过程中需要重点考虑的性能指标,然后分析了一些当前典型的路由协议,并从拓扑结构、通信模式、路由开销等方面对这些协议进行了比较,最后结合该领域当前的研究现状指出了未来的研究趋势。     

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     

基于SDL的DSRC协议设计

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

光纤量子通信网络路由选择协议

针对光纤量子通信网络,提出一种基于中继器的量子通信网络路由选择协议方案.在现有光纤通信网络的基础上利用基于纠缠交换和纠缠纯化的中继器来构建量子通信网络,然后在中继器的基础上采用嵌套纯化方案进行实际量子通信网络系统信道的建立.针对量子通信网络的特点,提出并分析了量子通信网络路由的评价指标,在路由选择协议方案中重点考虑量子信道建立过程中达到目标保真度值所需消耗的纠缠资源和路由建立时间,并从这些指标分析过程中择优选择量子通信信道.所提出的路由选择协议是基于解析计算及优化设计的,与实际量子通信系统相关联,仿真结果表明这种协议方案具有较强的可操作性.     

按需能量多路径的路由协议研究

微机电系统、处理器、无线通信及存储技术的进步促进了无线传感器网络的飞速发展,使得无线传感器网络成为一种全新的信息获取和处理技术,也因此与传统网络有着许多不同之处.介绍了无线传感器网络的特点及其通信协议体系结构,着重讨论了传感器网络路由协议的设计问题.在分层模型基础上,动态地选择汇聚节点和分层模型的能量多径路由协议可使能量均衡,延长网络寿命,提高数据转发率,这也是传感器网络路由设计的主要目标.