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
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;
Conference_Titel :
Communication Technology Proceedings, 1998. ICCT '98. 1998 International Conference on
Conference_Location :
Beijing
Print_ISBN :
7-80090-827-5
DOI :
10.1109/ICCT.1998.741075
