Formal techniques improve connectivity in supervisory systems

Author

Luque, Joaquin ; Gonzalo, Fernando ; Pérez, Francisco ; Mejias, Manuel

Author_Institution

Seville Univ., Spain

Volume

7

Issue

2

fYear

1994

fDate

4/1/1994 12:00:00 AM

Firstpage

30

Lastpage

33

Abstract

The need to provide communication among the various computers that make up supervisory control and data acquisition (SCADA) systems is encountered more and more frequently. This equipment is usually from various generations, technologies, and manufacturers. Much effort has been made to define a set of standard protocols for both center-remote communications and to center-to-center links of similar or different levels. Nevertheless, the future role of these standards is not clear, and the problem still remains of how to ensure communication among the systems working presently. The authors describe CUP, a protocol conversion tool that enables communication among the multiple components of SCADA systems. CUP is the Spanish equivalent of universal protocol conversion.<>

Keywords

SCADA systems; power system computer control; protocols; specification languages; CUP; SCADA systems; center-remote communications; center-to-center links; formal description techniques; protocol conversion tool; protocols; supervisory control and data acquisition; supervisory systems connectivity; Access protocols; Automata; Communication standards; Communication system control; Computer bugs; Control systems; Data communication; Logic; Petri nets; SCADA systems;

fLanguage

English

Journal_Title

Computer Applications in Power, IEEE

Publisher

ieee

ISSN

0895-0156

Type

jour

DOI

10.1109/67.273785

Filename

273785