ESTELLE: a method to analyze automatically the performance of telecontrol protocols in SCADA systems

Abstract

Abstract-This paper presents the use of ESTELLE, a formal description technique, as a method to calculate automatically the performance of telecontrol protocols in SCADA systems. Some specific primitives are added to the ESTELLE description language in order to achieve that goal. As an example, we analyze the performance of a telecontrol protocol. The results from this method are compared to performance measurements obtained from analytical and simulated solutions

Open and Flexible Embedded System Applied to Positioning and Telecontrol

“…Protocol engineering techniques have been used to measure the OFESAPO performance, as they are described in [22]. One of the measurements made consisted of having n + 1 processes, all executed in a single computer that behaves like n RTUs and one of them that behaves like a CC.…”

Implementing IEC 60870-5 data link layer for an open and flexible remote unit

“…From FSMs is easy to use a formal language like Estelle. Estelle is a FDT defined by the International Organization for Standardization (ISO) for protocol specifications [5].…”