A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements.
Guilherme KunzJosé MachadoEduardo André PerondiValeriy VyatkinPublished in: IEEE Trans. Ind. Electron. (2017)
Keyphrases
- real time
- control system
- real time systems
- data acquisition
- formal model
- user requirements
- high speed
- communication networks
- multimedia communication
- distributed systems
- vision system
- information sharing
- communication technologies
- software requirements
- timing constraints
- requirements specification
- interaction model
- low bandwidth
- functional requirements
- communication channels