A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements

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 intellige...

Full description

Bibliographic Details
Main Author: Kunz, Guilherme (author)
Other Authors: Machado, José (author), Perondi, Eduardo (author), Vyatkin, Valeriy (author)
Format: article
Language:eng
Published: 2017
Subjects:
Conformance testing
formal verification
IEC 61850 real-time communication requirements
simulation
timed automata
Science & Technology
Online Access:http://hdl.handle.net/1822/53625
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/53625

Internet

http://hdl.handle.net/1822/53625

Similar Items