Title :
Protocol conversion using supervisory control techniques
Author :
Kumar, Ratnesh ; Nelvagal, Sudhir S. ; Marcus, Steven I.
Author_Institution :
Dept. of Electr. Eng., Kentucky Univ., Lexington, KY, USA
Abstract :
A protocol mismatch occurs when heterogeneous networks try to communicate with each other, and a protocol conversion mechanism is needed for proper communication. We present a systematic approach to protocol conversion using the recent theory of supervisory control of discrete event systems. We study the problem of designing a converter for a given mismatched pair of protocols, using their specifications, and the specifications for the channel and the user services. We introduce the notion of converter languages and use it to obtain a necessary and sufficient condition for the existence of protocol converter and present an effective algorithm for computing it whenever it exists
Keywords :
discrete event systems; protocols; converter languages; discrete event systems; heterogeneous networks; necessary and sufficient condition; protocol conversion; protocol mismatch; supervisory control techniques; Control systems; Educational institutions; Manufacturing systems; Protocols; Safety; Supervisory control;
Conference_Titel :
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-3032-3
DOI :
10.1109/CACSD.1996.555193
