A Novel Uni Signaling Protocol for Optical Networks

J Yao,CX Chi,HY Zhang,YL Guo
DOI: https://doi.org/10.1109/tencon.2002.1180337
2002-01-01
Abstract:For dynamic lightpath provisioning, a novel optical signaling protocol through an optical communication network user network interface (UNI) is proposed. It supports multi-client addressing and meets the special requirements of optical networks. A communicating finite state machine (CFSM) model is utilized to formally specify and validate the protocol. Exceptional handling of the protocol is analyzed and fault-tolerant properties are verified by temporal logic. Verifications confirm that the protocol performs actions to lightpaths correctly under both normal and any time out conditions, with its no-deadlock, no-livelock, and other good properties.
What problem does this paper attempt to address?