光网络接口信令系统容错设计的分析和验证  

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

作　　者：姚劲[1] 迟彩霞 焦悦光[1] 郑小平[1] 张汉一[1] 

机构地区：[1]清华大学电子工程系,北京100084 [2]朗讯公司贝尔实验室,北京100080

出　　处：《光电子．激光》2002年第9期930-933,共4页Journal of Optoelectronics·Laser

基　　金：国家"8 63"高科技资助项目 (20 0 1AA12 2 0 5 1);国家自然科学基金重点资助项目(60 13 2 0 2 0 )

摘　　要：为实现动态指配光网络资源功能 ,提出了一种用户光网络接口 (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.

关 键 词：容错 光网络 用户光网络接口 UNI 信令协议系统 

分 类 号：TN929.11[电子电信—通信与信息系统]