| 光网络接口信令系统容错设计的分析和验证 |
| |
| 引用本文： | 姚劲 迟彩霞 等. 光网络接口信令系统容错设计的分析和验证[J]. 光电子．激光, 2002, 13(9): 930-933 |
| |
| 作者姓名： | 姚劲 迟彩霞 等 |
| |
| 作者单位： | 1. 清华大学电子工程系,北京,100084
2. 朗讯公司贝尔实验室,北京,100080 |
| |
| 基金项目： | 国家“8 63”高科技资助项目 (20 0 1AA12 2 0 5 1)，国家自然科学基金重点资助项目(60 13 2 0 2 0 ) |
| |
| 摘 要： | 为实现动态指配光网络资源功能，提出了一种用户网络接口（UNI）信令协议系统，该协议系统基于层叠模型，支持多种类客户寻址，分析了协议系统设计的出错处理并采用时序逻辑描述和验证了其容错性质，验证结果表明，系统在网络正常和超时故障条件下均能确保对光通道的建立，修改、拆除和查询等操作无误。
|
| 关 键 词： | 容错 光网络 用户光网络接口 UNI 信令协议系统 |
| 文章编号： | 1005-0086(2002)09-0930-04 |
| 修稿时间： | 2002-03-06 |
Fault-tolerant Analysis and Verification of a Novel Optical Network Signaling Protocol System |
| |
| YAO Jin,CHI Cai xi,JIAO Yue guang,ZHENG Xiao ping,ZHANG Han yi. Fault-tolerant Analysis and Verification of a Novel Optical Network Signaling Protocol System[J]. Journal of Optoelectronics·laser, 2002, 13(9): 930-933 |
| |
| Authors: | YAO Jin CHI Cai xi JIAO Yue guang ZHENG Xiao ping ZHANG Han yi |
| |
| Affiliation: | YAO Jin 1,CHI Cai xia 2,JIAO Yue guang 1,ZHENG Xiao ping 1,ZHANG Han yi 1 |
| |
| 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. |
| |
| Keywords: | Optical networks User Network Interface(UNI) Signaling protocol system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《光电子．激光》浏览原始摘要信息 |
|
点击此处可从《光电子．激光》下载全文 |
