Specification,validation and simulation of an event driven local computer network protocol

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.

Keywords

specification validation simulation local computer networks high-speed protocols specification language ESTELLE/Ag

Get full access to this article

View all access options for this article.