Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Formal Methodology for Accomplishing IEC61850 Real-Time Communication Requirements
Mechanical Engineering Department, Western Parana State University, Foz do Iguazu, Brazil.
Mechanical Engineering Department and MEtRICs Research Centre, University of Minho, Guimaraes, Portugal.
Mechanical Engineering Department, Federal University of Rio Grande do Sul, Porto Alegre, Brazil.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
2017 (English)In: IEEE transactions on industrial electronics (1982. Print), ISSN 0278-0046, E-ISSN 1557-9948, Vol. 64, no 8, 6582-6590 p.Article in journal (Refereed) Published
Abstract [en]

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 work, 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.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2017. Vol. 64, no 8, 6582-6590 p.
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-62850DOI: 10.1109/TIE.2017.2682042ISI: 000405172300054OAI: oai:DiVA.org:ltu-62850DiVA: diva2:1086450
Note

Validerad; 2017; Nivå 2; 2017-08-15 (andbra)

Available from: 2017-04-03 Created: 2017-04-03 Last updated: 2017-08-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
In the same journal
IEEE transactions on industrial electronics (1982. Print)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 88 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf