Protocol Conversion Between ADLP80 and IEC 870 Communication Protocol Standards Using Formal Methods

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 standard able to communicate with a controlled station that utilizes 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, a converter is constructed for each application function using a conversion algorithm. This algorithm adopts a protocol data unit approach to derive the converter machine