Analysis of ForCES Protocol with Message Sequence Charts
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.
ForCES protocol MSC CE FE Heartbeat Failover Policy
Hong Yi Ni Huiting Dong Ligang
Zhejiang Gongshang University, Hangzhou, China
国内会议
第十七届全国青年通信学术年会、2012全国物联网与信息安全学术年会
北戴河
英文
483-487
2012-07-01（万方平台首次上网日期，不代表论文的发表时间）