Please use this identifier to cite or link to this item:

TitleA Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements
Author(s)Kunz, Guilherme
Machado, José
Perondi, Eduardo
Vyatkin, Valeriy
KeywordsConformance testing
formal verification
IEC 61850 real-time communication requirements
timed automata
Issue date2017
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
JournalIEEE Transactions on Industrial Electronics
Abstract(s)Reliability is extremely important for control systems of energy distribution and generation. The IEC 61850 standard specifies an open architecture and communication protocols for such applications. The standard defines an open control architecture for networked control systems composed by intelligent electronic devices, stating some requirements that must be accomplished when developing reliable controllers for such systems. In this paper, we present a systematic and formal methodology to be adopted to achieve the correct implementation of the communication requirements of this standard. The methodology consists in five steps: modeling of real-time communication requirements defined by the standard; simulation of the obtained model; formal verification of the model, improved in the previous step; translation of the global model ( simulated and verified) into the input language of the real controller; and finally, application of conformance testing technique to the computational routine implemented in the real controller. Presented research deals with the proposition of a strategy to synthesize and validate models of systems developed under IEC61850 real-time requirements ( GOOSE and SMV) through simple operational conditions cases that, once validated, can be used in performance and conformance testing of more complex systems. The proposed methodology allows designers to synthesize reliable systems under IEC61850 real-time communication requirements.
AccessRestricted access (Author)
Appears in Collections:CT2M - Artigos em revistas de circulação internacional com arbitragem científica

Files in This Item:
File Description SizeFormat 
  Restricted access
1,62 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID