Specification, validation and simulation of an event driven local computer network protocol
Volume 4, Issues 1-2 (1993), pp. 199–216
Pub. online: 1 January 1993
Type: Research Article
Published
1 January 1993
1 January 1993
Abstract
An analysis of an event driven local area network protocol for special purposes in industrial applications is represented. The analysis is performed using the specification language ESTELLE/Ag and protocol analysis tool PRANAS-2. Validation was focused on the correctness media access algorithm, initialization of the protocol and recovery from error situations. The obtained simulation results can be used for comparison of the effectiveness of this protocol with other protocols.