期刊文献+

基于SDL语言的SIP协议的形式化设计

Formal Description of SIP Protocol Using SDL
下载PDF
导出
摘要 目前SIP协议做为VoIP的应用协议已经变得越来越重要,3GPP R5版本已经选择SIP协议作为3G移动通信多媒体的信令协议。本文利用SDL语言描述了该协议的核心功能,并对系统进行了仿真和验证。 At first, The SIP protocol is introduced .Then it gives the specific method about how to design the key function of SIP protocol using the SDL tools, the system's simulation and validation have been completed and the result is given at last.
出处 《信息通信》 2008年第2期24-26,共3页 Information & Communications
关键词 SIP协议 SDL 形式化 仿真 验证 SIP, SDL, formalization simulation validation
  • 相关文献

参考文献3

  • 1[3]J Rosenberg,H schulzrinne,GCamarillo et al.SIP:Session Initiation Protocol[S].Request for Comments (Standards Track)3261,Internet Engeering Task Force,2002
  • 2[4]Z.100 CCITT Specification and description language (SDL)[S].ITU,1999
  • 3[7]Telelogic Tau 4.0 User Menu.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部