【摘 要】
：
该文首先介绍一种最新的无线局域网通信协议—蓝牙(Bluetooth)协议.使用传统的方法开发此协议相当复杂而费时,因此作者考虑采用形式化方法,以求提高开发效率.接着,文章利用有
论文部分内容阅读
该文首先介绍一种最新的无线局域网通信协议—蓝牙(Bluetooth)协议.使用传统的方法开发此协议相当复杂而费时,因此作者考虑采用形式化方法,以求提高开发效率.接着,文章利用有限状态机的理论,详细讲述形式化的协议软件开发方法,重点介绍进行通过SDL和MSC进行描述、验证与代码生成的理论与应用,并对各种描述与验证方法进行比较.结合蓝牙协议中的HCI层和一种流行的软件开发工具包ObjectGeode,文章接下来给出了使用SDL和MSC对HCI协议进行描述、验证和代码生成的全过程,同时这也是一种较先进的通信协议软件开发流程.进行验证时,文章给出了仿真的结果以及错误分析,总结出协议验证的一些经验,并对各种协议验证方法的优缺点进行探讨.与此同时,文章讨论了开发过程各阶段会遇到的一些相关问题以及解决办法.
其他文献
本文对国内外已有的网络安全态势感知方法进行了分析和比较，在定性分析原始网络安全态势数据的基础上，提出一种融合多源数据的网络安全态势定量感知模型。针对网络系统结构的特
该文重点研究了智能辅助决策系统中的模型、算法以及系统集成技术.文章提出了一种基于数据仓库的开放式辅助决策平台系统结构,并设计了其中的关键模型和算法.在模型管理方面,
该文以莫高窟壁面的文物保护工作为背景,探讨了莫高窟的档案资料和壁面图象的存储技术和检索技术.论文主要包括以下内容:1.讨论了一种基于Web的信息管理系统的设计和实现.2.
目前IP网正发生深刻变化，宽带IP的出现起了决定性作用。因为必须有足够的带宽，才能在同一个网络中同时传输语音、数据和图像。实时音频、视频多媒体应用进入IP网络的一个关键问
多机器人技术是机器人学科发展的一个新方向,是机器人技术走向实用化的关键.该文对多机器人的路径规划与协调进行了系统深入的研究.不仅分析了多机器人路径规划算法的判优准
该文利用数据仓库技术,提出了基于OLAP的具有实际意义的企业信息系统,并且在大庆石油管理避的企业中得到了应用.该文从分析OLAP技术的数据基础-数据仓库技术入手,综合探讨了
针对彩色硬拷贝设备色域较小且普遍存在色偏的现象,在系统研究与设备无关彩色管理相关理论和技术的基础上,提出了一种符合CMS体系结构和ICC标准要求的高效彩色复合控制(彩色
首先,该文证明了去掉相关测定理中的一个限制条件并不影响该定理的成立同时可降低问题复杂性,推广了测试理论的初始测试条件,同时证明了:对于封闭简单因果理论,在推广的初始
随看Internet深入到社会生活的各个领域，网络安全越来越成为人们普遍关心的话题。 目前，围绕WWW网络安全人们提出了不少协议，如SSL、SET、S-HTTP等，SSL协议的历史最为悠久，因此
本文围绕IP多目广播技术展开，重点探讨一种可靠IP多目广播传输协议的构想、设计和实现。 IP多目广播是二十世纪八十年代中期提出的一项技术，旨在提高网络使用效率、拓展新的