Fault-tolerant Analysis and Verification of a Novel Optical Network Signal-ing Protocol System

姚劲,迟彩霞,焦悦光,郑小平,张汉一
DOI: https://doi.org/10.3321/j.issn:1005-0086.2002.09.015
2002-01-01
Abstract:A novel optical signaling protocol system for optical network dynamic resource provisioning is proposed for dynamic lightpath provisioning.The system is based on overlay model and supports multi client addressing.Exceptional handling of the protocol is analyzed and fault tolerant design is specified and verified by temporal logic.Verifications confirm that the protocol system performs lightpath actions correctly under both normal and any time out conditions.
What problem does this paper attempt to address?