摘要
为实现动态指配光网络资源功能 ,提出了一种用户光网络接口 (U NI)信令协议系统。该协议系统基于层叠模型 ,支持多种类客户寻址。分析了协议系统设计的出错处理并采用时序逻辑描述和验证了其容错性质。验证结果表明 ,系统在网络正常和超时故障条件下均能确保对光通道的建立、修改。
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 multiclient 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.
出处
《光电子．激光》
EI
CAS
CSCD
北大核心
2002年第9期930-933,共4页
Journal of Optoelectronics·Laser
基金
国家"8 63"高科技资助项目 (20 0 1AA12 2 0 5 1)
国家自然科学基金重点资助项目(60 13 2 0 2 0 )
