Visible to the public Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart GridsConflict Detection Enabled

TitleFormal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids
Publication TypeConference Paper
Year of Publication2016
AuthorsAshiq Rahman, Ehab Al-Shaer
Conference NameThe 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Date Published06/2016

Smart grids provide innovative and efficient energy management services that offer operational reliability. The Supervisory Control and Data Acquisition (SCADA) system is a core component of a smart grid. Unlike the traditional cyber networks, these components consist of heterogeneous devices, such as intelligent electronic devices, programmable logic controllers, remote terminal units, control servers, routing and security devices, etc. SCADA devices communicate with one another under various communication protocols, physical media, and security properties. Failures or attacks on such networks have the potential of data unavailability and false data injection causing incorrect system estimations and control decisions leading to critical damages including power outages and destruction of equipment. In this work, we develop an automated security and resiliency analysis framework for SCADA in smart grids. This framework takes smart grid configurations and organizational security and resiliency requirements as inputs, formally models configurations and various security constraints, and verifies the dependability of the system under potential contingencies. We demonstrate the execution of this framework on an example problem. We also evaluate the scalability of the framework on synthetic SCADA systems.

Citation Keynode-26889
Refereed DesignationRefereed