Title of article
ESTELLE: a method to analyze automatically the performance of telecontrol protocols in SCADA systems
Author/Authors
Medina، نويسنده , , V.، نويسنده , , Gomez، نويسنده , , I.، نويسنده , , Luque، نويسنده , , J.، نويسنده , , Martin، نويسنده , , S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
6
From page
712
To page
717
Abstract
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
Keywords
performance analysis , SCADA systems , telecontrol protocols , Throughput , performance modeling , transmission delay. , Protocol specification
Journal title
IEEE TRANSACTIONS ON POWER DELIVERY
Serial Year
2002
Journal title
IEEE TRANSACTIONS ON POWER DELIVERY
Record number
400395
Link To Document