ESTELLE: A Method to Analyze Automatically the Performance of Telecontrol Protocols in SCADA Systems

Creators: Medina Rodríguez, Ana Verónica; Gómez González, Isabel María; Luque Rodríguez, Joaquín; Martín Guillén, Sergio

Others:: Universidad de Sevilla. Departamento de Tecnología Electrónica; Universidad de Sevilla. TIC022: Tecnologías para la asistencia, la investigación y la salud; Ministerio de Ciencia y Tecnología (MCYT). España

Description

This paper presents the use of ESTELLE, a formal description technique, as a method to calculate automatically the performance of telecontrol protocols in SCADAsystems. 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

Abstract

Ministerio de Ciencia y Tecnología TIC 2000-1114

ESTELLE: A Method to Analyze Automatically the Performance of Telecontrol Protocols in SCADA Systems

Description

Abstract

Additional details