PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS

Sufyan T. Fara; Saleem M. R. Tah

doi:10.31026/j.eng.2002.03.07

Article Details

PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS

Authors:

Sufyan T. Fara | Saleem M. R. Tah

Publisher:

University of Baghdad

Journal:

Journal of Engineering Vol.8 Issue 3, pp.343-362

Document Type:

Article

Publication Date:

1/2002

Document Language:

English

Document ID (Org No.):

2001379759

pISSN:

2520-3339

DOI:

10.31026/j.eng.2002.03.07

Keywords:

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

PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS

Authors:

Sufyan T. Fara | Saleem M. R. Tah

Publisher:

University of Baghdad

Journal:

Journal of Engineering Vol.8 Issue 3, pp.343-362

Document Type:

Article

Publication Date:

1/2002

Document Language:

English

Document ID (Org No.):

2001379759

pISSN:

2520-3339

DOI:

10.31026/j.eng.2002.03.07

Protocol conversion

ADLP 80

ASEA

IEC 870

CFSM

protocol data unit

service level

legal trace

Issues

Article Details

Authors: Sufyan T. Fara | Saleem M. R. Tah

Publisher: University of Baghdad

Journal: Journal of Engineering Vol.8 Issue 3, pp.343-362

Document Type: Article

Publication Date: 1/2002

Document Language: English

Document ID (Org No.): 2001379759

pISSN: 2520-3339

DOI: 10.31026/j.eng.2002.03.07

Issues

Authors:

Sufyan T. Fara | Saleem M. R. Tah

Publisher:

University of Baghdad

Journal:

Journal of Engineering Vol.8 Issue 3, pp.343-362

Document Type:

Article

Publication Date:

1/2002

Document Language:

English

Document ID (Org No.):

2001379759

pISSN:

2520-3339

DOI:

10.31026/j.eng.2002.03.07