Logged out
Access All our Essays in an Instant
Swap your work for FREE access, or pay £4.99 for instant access
Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
Member rating: No Rating | Words: | Submitted: Fri Jan 14 2005
Page Preview
On the left is an image preview of every page of this document, and below are the first 150 words with formatting removed:
Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI 1. Introduction For the reliability of ATM networks, there is an urgent need to apply some formal methods in validating these protocols and in generating test cases. The tools needed to accomplish these purposes include: a technique to model the protocol, a formal description language to describe the model, a protocol simulator to perform verifications, and a test generator to produce test cases. This work is a case study of applying formal verification and test generation tools to the ATM network routing protocol, or the ATM Forum Private Network-Network Interface (PNNI) Specification Version 1.0 [1]. The PNNI specification consists of three layers of protocols: the Hello protocol for identifying the status of NNIs; the Database Synchronization protocol for maintenance of routing databases; and the Peer Group Leader Election protocol for operations of hierarchical routing. Each of the...
Get instant access
- Instant, unlimited access to our documents in full
- Swap your work for free access, or pay £4.99
- To see the full version of this document and 147,195 others
Receive email updates for this category
- Simply tell us your email address and receive a weekly Study Help Email for FREE
- Receive 3 FREE essay views with each email
- Get all the latest essays from Coursework.Info & discussion from TheStudentRoom.co.uk
