Naslov
Protocol Verification by State Perturbation Technique

Autori
Žagar, Drago ; Rimac-Drlje, Snježana

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the International Symposium Electronics in Marine ELMAR '96 / M. Grgić - Zadar, 1996

Skup
International Symposium Electronics in Marine ELMAR '96

Mjesto i datum
Zadar, Hrvatska, 06.1996

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
state perturbation technique; protocol; finite state machines

Sažetak
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.

Izvorni jezik
Engleski

POVEZANOST RADA