High-Performance Networked SCADA Architecture for Safety-Critical Systems.

Branislav Atlagic Dejan Milinkov Mihaly Sagi Bojan Bogovac

Published in: ECBS-EERC (2011)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
supervisory control
fault tolerant
management system
nuclear power plant
real time
information systems
adaptive systems
support systems
agent architecture
critical infrastructure
software engineering
control system
regulatory requirements