crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Home
 About the project
 FAQ
 Contact
4 gif
Browsing
Basic search
Advanced search
Statistical data
Other bibliographies
Similar projects
 Catalogues and databases

Bibliographic record number: 91682

Journal

Authors: Žagar, Drago; Rimac-Drlje, Snježana
Title: Protocol Verification by State Perturbation Technique
( Protocol Verification by State Perturbation Technique )
Source: Proceedings of the International Symposium Electronics in Marine ELMAR '96 / M. Grgić (ed). - Zadar :
Meeting: International Symposium Electronics in Marine ELMAR '96
Location and date: Zadar, Hrvatska, June 1996.
Keywords: state perturbation technique; protocol; finite state machines
( state perturbation technique; protocol; finite state machines )
Abstract:
Communication between different components of a distributed system is controlled by the communication protocol. The communication protocol consists of a set of rules or conventions, given to control data exchange between two processes. The protocol contains precisely specified data format and also clearly defined procedures for the control messages which control data transmission. In that way the communication protocol establishes a logical communication path among communication entities, which could but need not correspond to a direct physical link. The protocol specification must be easily understandable and precisely defined, because it can often lead to conflicts. Formal methods for protocol development give us unambiguity, complete and correct protocol specification and make the basis for automatic protocol verification. The protocols produced in that way can be rigorously analyzed for completeness and consistency. The main purpose of protocol verification isto check whether the protocol specification contains errors before proceding to protocol implementation. The formal methods for protocol verification deal with formally modeled pairs of processes which are based on the finite state machines.
Type of meeting: Predavanje
Type of presentation in a journal: Full-text (1500 words and more)
Type of peer-review: International peer-review
Original language: eng
Category: Znanstveni



  Print version   za tiskati


upomoc
foot_4