Title :
Formal techniques improve connectivity in supervisory systems
Author :
Luque, Joaquin ; Gonzalo, Fernando ; Pérez, Francisco ; Mejias, Manuel
Author_Institution :
Seville Univ., Spain
fDate :
4/1/1994 12:00:00 AM
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;
Journal_Title :
Computer Applications in Power, IEEE