切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
利用形式化技术实现协议的仿真与测试
利用形式化技术实现协议的仿真与测试
来源 :第十六届全国测控、计量、仪器仪表学术年会 | 被引量 : 0次 | 上传用户:aa283488665
【摘 要】
:
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测
【作 者】
:
夏月平
高翔
【机 构】
:
南京邮电大学自动化学院,南京,210003
【出 处】
:
第十六届全国测控、计量、仪器仪表学术年会
【发表日期】
:
2006年期
【关键词】
:
形式化技术
通信协议
一致性测试
形式化方法
设计
控制规则
功能实现
证协议
开发者
描述
接口
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.
其他文献
基于FPGA技术的VXI总线信号源模块的设计
本文介绍一种基于FPGA技术的VXI总线信号源模块的设计方法.在该模块中,由于D/A转换控制电路和波形存储电路集成在FPGA芯片内部,因此在信号源的产生过程中可以大大减少其所占
会议
技术
总线
信号源模块
转换控制电路
设计方法
降低成本
电路集成
产生过程
波形存储
灵活性
控制器
高设计
资源
芯片
扩展
功能
融入全球研发市场中国准备好了吗?——昭衍新药研究中心有限公司资深副总裁兼首席技术官龚兆访谈
记者:请谈谈中国和全球研发市场的一个大概动向,以及2012年的市场预测.龚兆龙:目前全球医药市场总体情况并不乐观,主要是由于给跨国药企带来大量利润的重磅炸弹药专利陆续到
期刊
全球研发
医药市场
中国
新药研究
研发中心
有限公司
技术
核心竞争力
重磅
运营成本
新药项目
市场预测
跨国药企
对外合作
弹药
财务状况
产品线
专利
基于PXI总线的电台自动测试方法研究
本文论述了基于PXI总线的自动测试系统集成技术及其在电台系统级TPS开发与自动测试中的应用.文中对电台的自动测试方法、基于PXI总线的测试系统组成及软件设计进行了较为详尽
会议
总线
电台
自动测试
系统集成技术
无线通信设备
综合检测
有效解决
应用结果
研究成果
系统组成
系统指标
软件设计
测试实例
测试方法
系统级
开发
价值
面向安全关键系统的机内测试装置设计与实现
安全关键系统的设计不仅关联着可靠性、安全性、保障性和维修性,其可测试性设计亦成为系统诊断和故障隔离的一种重要手段,在诸如航空电子、武器装备的设计中日益受到重视.本
会议
Matlab环境下GPIB接口功能的编程与应用
本文介绍了基于Matlab6.5环境下的仪器控制与功能扩展方法,通过NI公司的GPIB-USB-HS接口卡,对TektronixTDS540数字示波器进行控制、数据采集和处理,充分发挥Matlab强大的数据
会议
船舶机舱过程控制FCS系统的设计
针对船舶机舱提出了以现场总线方式集成各个独立控制系统的新思路;通过燃油粘度控制系统和冷却水温度控制等实例,探索了先进控制方法,并应用基金会现场总线技术将不同的过程
会议
热恋故乡黄土地
人民解放军每年都有几十万服役期满的战士。告别军旅生涯,退伍回到故乡。这些扛了几年枪杆子的退伍兵是否还热爱生养他们的那块黄土地?下面介绍的辽宁省盘山县3名农村籍退伍
期刊
军旅生涯
退伍兵
服役期
第二年
白天黑夜
葡萄树
民兵训练
塘边
葡萄栽培技术
陈家乡
微波大功率测试中的关键部件研究
本文分析讨论了在大功率测试中经常使用的定向耦合器和负载,并研制了相应的器件,经实际测试和使用性能良好,满足使用要求.
会议
微波器件
大功率器件
微波测量
负载
耦合器
北美冬红海棠
北美冬红海棠,蔷薇科,苹果属,落叶小乔木。树高5~7米,树冠开张,枝条粗壮。叶片肥厚浓绿,椭圆形,前端有锯齿,掌状纹裂,幼时两面有短绒毛。老枝紫黑色。花期在3 North American
期刊
红海棠
苹果属
落叶小乔木
蔷薇
锯齿
树冠
前端
北美
自花授粉
伞房花序
基于Web的通用测控软件设计框架
本文在测试与控制系统中采用基于Web的监视与控制技术,能够大大减少开发测控软件的工作量,增加测试系统设计和使用的灵活性.介绍了一个通用、跨平台的Web引擎软件设计框架及
会议
与本文相关的学术论文