By Topic

Constructing protocol converters with guaranteed service

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yao, Y.-W. ; Dept. of Comput. & Inf. Sci. Ohio State Univ., Columbus, OH, USA ; Liu, M.T.

The authors consider the conformity property, i.e. that the protocol converters providing communication between different networks meets the service specified by the designer, in constructing protocol converters. Using the top-down approach, an algorithm consisting of the following five steps is proposed to construct a protocol converter: (1) construction of a system graph from the given input; (2) removal of states and transitions that violate the synchronization requirements from the system graph constructed previously; (3) enforcement of liveness requirement on the system graph; (4) verification of the system graph against the service specification; and (5) derivation of a protocol converter from the system graph. The protocol converter so constructed is guaranteed not only to satisfy the conformity property, but also to be free from both deadlock and livelock

Published in:

INFOCOM '91. Proceedings. Tenth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking in the 90s., IEEE

Date of Conference:

7-11 Apr 1991