engleski

A Survey on Applications of Formal Methods in Analysis of SCADA Systems

The goal of this survey is to establish how have the formal methods been applied to Supervisory Control and Data Acquisition (SCADA) systems in order to verify critical properties relevant to SCADA to a high degree of assurance. We analyze and dissect published research that attempts to formally specify and verify SCADA communication protocol or other components relevant and specific to SCADA systems. We identify areas that would benefit most from analysis by formal methods.

SCADA, formal methods, verification, protocols

nije evidentirano