论文部分内容阅读
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.
利用形式化技术实现协议的仿真与测试
【摘 要】
：
为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测
【机 构】
：
南京邮电大学自动化学院,南京,210003
【出 处】
：
第十六届全国测控、计量、仪器仪表学术年会
【发表日期】
：
2006年期
其他文献
本文介绍一种基于FPGA技术的VXI总线信号源模块的设计方法.在该模块中,由于D/A转换控制电路和波形存储电路集成在FPGA芯片内部,因此在信号源的产生过程中可以大大减少其所占
记者:请谈谈中国和全球研发市场的一个大概动向,以及2012年的市场预测.龚兆龙:目前全球医药市场总体情况并不乐观,主要是由于给跨国药企带来大量利润的重磅炸弹药专利陆续到
本文论述了基于PXI总线的自动测试系统集成技术及其在电台系统级TPS开发与自动测试中的应用.文中对电台的自动测试方法、基于PXI总线的测试系统组成及软件设计进行了较为详尽
安全关键系统的设计不仅关联着可靠性、安全性、保障性和维修性,其可测试性设计亦成为系统诊断和故障隔离的一种重要手段,在诸如航空电子、武器装备的设计中日益受到重视.本
会议
本文介绍了基于Matlab6.5环境下的仪器控制与功能扩展方法,通过NI公司的GPIB-USB-HS接口卡,对TektronixTDS540数字示波器进行控制、数据采集和处理,充分发挥Matlab强大的数据
会议
针对船舶机舱提出了以现场总线方式集成各个独立控制系统的新思路;通过燃油粘度控制系统和冷却水温度控制等实例,探索了先进控制方法,并应用基金会现场总线技术将不同的过程
会议
人民解放军每年都有几十万服役期满的战士。告别军旅生涯,退伍回到故乡。这些扛了几年枪杆子的退伍兵是否还热爱生养他们的那块黄土地?下面介绍的辽宁省盘山县3名农村籍退伍
北美冬红海棠,蔷薇科,苹果属,落叶小乔木。树高5～7米,树冠开张,枝条粗壮。叶片肥厚浓绿,椭圆形,前端有锯齿,掌状纹裂,幼时两面有短绒毛。老枝紫黑色。花期在3
North American
本文在测试与控制系统中采用基于Web的监视与控制技术,能够大大减少开发测控软件的工作量,增加测试系统设计和使用的灵活性.介绍了一个通用、跨平台的Web引擎软件设计框架及
会议