@inproceedings{3ad2e892d4994558889f320a1105b2f6,
title = "Validating resiliency in Software Defined Networks for smart grids",
abstract = "The communication network overlaying the power grid is required to be resilient to link failures among network devices. The Software Defined Networking (SDN) architecture provides a fast-failover mechanism for provisioning networks that are seamlessly resilient. However, in order to guarantee that an SDN meets such resiliency requirements, its control-plane state needs to analyzed and validated against desired resiliency properties. In this paper, we present a framework to exhaustively analyze a snapshot of its control-plane state to compute packet flows between any pair of ports. We also present algorithms and data structures so that the changes caused by link failure/restoration to these packet flows can be computed incrementally. Our experimental results indicate that performing exhaustive analysis from scratch can take up to nine times longer than our proposed incremental computation algorithm.",
author = "Rakesh Kumar and Nicol, {David M.}",
year = "2016",
month = dec,
day = "8",
doi = "10.1109/SmartGridComm.2016.7778801",
language = "English (US)",
series = "2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "441--446",
booktitle = "2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016",
address = "United States",
note = "7th IEEE International Conference on Smart Grid Communications, SmartGridComm 2016 ; Conference date: 06-11-2016 Through 09-11-2016",
}