engleski

Protocol Verification by State Perturbation Technique

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.

state perturbation technique; protocol; finite state machines

nije evidentirano