DocumentCode
2489268
Title
Modeling and validating PNNI signalling protocol in SDL
Author
Chan, WaiKin ; Lin, Xiaokang ; Gao, Qiang
Author_Institution
Dept. of Electron. Eng., Tsinghua Univ., Beijing, China
fYear
1998
fDate
22-24 Oct 1998
Abstract
PNNI is the most complex protocol in ATM networks. It requires an effective validation method to be applied to testing. We present an integrated approach on design and validation of communication protocols. We applied this approach on modeling and validating of a complex protocol, ATM PNNI (private network-network interface) signalling protocol, using a toolset named ObjectGEODE. We summarized our practical experiences of modeling & validating such complex protocols
Keywords
asynchronous transfer mode; formal verification; network interfaces; protocols; software tools; specification languages; telecommunication computing; telecommunication signalling; ATM networks; ObjectGEODE toolset; PNNI signalling protocol; SDL; communication protocol design; integrated approach; protocol modeling; protocol validation; testing; Analytical models; Asynchronous transfer mode; Automata; Intelligent networks; Logic; Process design; Protocols; Signal processing; State-space methods; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Communication Technology Proceedings, 1998. ICCT '98. 1998 International Conference on
Conference_Location
Beijing
Print_ISBN
7-80090-827-5
Type
conf
DOI
10.1109/ICCT.1998.741075
Filename
741075
Link To Document