PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS
Main Article Content
Abstract
In this work, a protocol converter had been designed using formal methods in order to make a controlling station that supports ADLP 80 (ASEA) protocol stanclard able to communicate with a controlled station that utilizls another communication protocol called IEC 870 protocol standard, in a central control system. The two protocols are modeled using communicating finite state machine (CFSM) models. For simplicity, i converter is constructed for each application function using a conversion algorithm. Thii algorithm adopts a protocol data unit approach to derive the converter machine.
Article Details
Section
How to Cite
References
Calvert K., and Lam S. (1989), Deriving a protocol converter: A top-down method, Proc. ACM SIGCOMM'89, pp. 247-258, USA.
Gouda M.G. (1984), Closed Covers: To veri$ progress for communicating finite state machines,IEEE Trans. Software Eng. 10 (6) 846-855.
Green P., (1986), Protocol conversion, IEEE Trans. Commun, 34 (3) 257-268.
Rajagopal M., and Ivliiler R.E. (1991), Synthesizing a protocol converter from executable protocol traces, IEEE Trans. Comput. 40 (4) 487-499.
Brand D., and Zafiropulo P.,(1983), On communicating finite state machines, JACM 30 (2) 323-342.
Saleh K., and Jaragh M. (1998), Synthesis of protocol converters: an annotated bibliography,Computer Standards & Interfaces 19 105-l17.
Tao Z.P., Bochmann G.V., and Dssouli R. (1995), An efficient method for synthesizing optimized protocol converter, an extended version of the paper presented at ICCCN'95, Las Vegas, USA.
Zoline K.O., and Lidinsky W.P. (1985), An approach for Interconnecting SNA and XNS Network,Proc. ACM SIGCOMM'85