Analysis of ForCES Protocol with Message Sequence Charts

来源 :第十七届全国青年通信学术年会、2012全国物联网与信息安全学术年会 | 被引量 : 0次 | 上传用户:baobeicucu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The Forwarding and Control Element Separation (ForCES) is designed to standardize the information exchange between the control and forwarding plane.This physical separation allows component vendors to specialize in one component without having to experts in all components.Given so many benefits the ForCES can bring,it is quite essential to guarantee the correctness of the protocol.In this paper,we use Message Sequence Charts (MSCs) to describe the behaviors of various scenarios which are defined in the protocol.After that,we try to test and verify the rationality of the ForCES protocol by analyzing these MSCs.By this way,we can see how the ForCES use the Heartbeat mechanism to solve the loss of association,which can make the protocol run more efficiently.In addition,we find a weakness about congestion that needs to be improved to guarantee the efficiency in some extreme conditions.Overall,we can conclude that the ForCES protocol can implement the communication between the control and forwarding plane excellently without dead lock,collision,etc.
其他文献
高校实验室在不断变革发展的环境中,由于其“引领创新、培养人才”的特殊职责,必然成为校园智慧化探索和推广的重要环节。本文探讨了物联网在高校实验室管理中的应用,提出了“智慧实验室”系统的三级结构设计方案,并从实验环境、实验资源、实验教学以及实验人员四个环节进行了实验室综合管理功能设计。
BFD(双向转发检测)是一套用来实现快速检测的国际标准协议,提供一种轻负荷、持续时间短的检测。与以往的其他链路状态检测机制相比,具有许多独到的优势。本文主要研究解决了控制与转发分离网络体系结构下的快速故障检测问题,实现了BFD故障检测技术在OSPF协议上的应用,实验结果证明BFD协议从检测时间、链路收敛时间、协议开销等各方面都有着明显的优势,可应用于OSPF集中式路由控制与转发分离网络体系结构下的
This paper provides a comprehensive study of interference cancellation based on Interleave-Division Multiple-Access system.We first describe the multi-user detection mechanism in the single-path chann
Length/dimension profile (LDP),also called generalized Hamming weight (GHW) hierarchy,is a key concept in coding theory and applied to many areas.It was extended to relative length/dimension profile (
Cloud computing is a set of promising Internet-based development that performs an efficient usage of virtualized and dynamically shared resources.With its ability to enable intelligent pay-for-use and
In existing work,the minimum symbol error rate (MSER) receiver usually is derived based on the error probability function that involves complicate computation,in this paper we instead derive the objec
A new approach to adaptive beamforming with nulling broadens and sidelobe control is developed.The proposed beamformer represents a modification of the popular minimum variance distortionless response
Session mobility in the next generation network supports the smooth switching of the terminal equipments in use without interrupting the current session,which combines the mobility of mobile equipment
We demonstrate a distributed nonlinearity compensation technique for 10.7 Gb/s coherent optical OFDM signals after 1000 km transmission.Over 2dB Q improvement has been observed after two-step compensa
Drive test()has been extensively used in GSM and 3G networks to investigate the network performance.However,it leads to high network maintenance cost and emission of CO2.Besides,it is not able to prov