Pregled bibliografske jedinice broj: 39820
Verifying Multiparty Call in ATM UNI Signalling Protocol
Verifying Multiparty Call in ATM UNI Signalling Protocol // Recent Advances in Signal Processing and Communication / Mastorakis, Nikos E. (ur.).
Atena: World Scientific Publishing ; Engineering Society Press, 1999. str. 324-329
CROSBI ID: 39820 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Verifying Multiparty Call in ATM UNI Signalling Protocol
Autori
Ježić, Gordan ; Lovrek, Ignac ; Bhat, G.
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Recent Advances in Signal Processing and Communication
Urednik/ci
Mastorakis, Nikos E.
Izdavač
World Scientific Publishing ; Engineering Society Press
Grad
Atena
Godina
1999
Raspon stranica
324-329
ISBN
960-8052-03-3
Ključne riječi
formal specification, model checking, verification, ATM signalling protocol, process algebra
Sažetak
This paper presents formal specification and verification of the multiparty call in ATM UNI signalling protocol. The protocol specification is written in the CCS process algebra (Calculus of Communicating Systems). The verification is done by using the NCSU-Concurrency Workbench. Due to complexity of the protocol, the model is decomposed on three components. The protocol verification is done by using the model-checking feature of the Workbench. Each component of the protocol is checked for safety and liveness properties using the temporal CTL (Computation Tree Logic) and the modal mu-calculus logic.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
