Destroying networks for fun (and profit)
Nick Shelly, Brendan Tschaen, Klaus-Tycho Foerster, Michael Alan Chang, Theophilus Benson, Laurent Vanbever · 2015
Network failures are inevitable. Interfaces go down, devices crash and resources become exhausted. It is the responsibility of the control software to provide reliable services on top of unreliable components and throughout unpredictable events. Guaranteeing the correctness of the controller under all types of failures is therefore essential for network operations. Yet, this is also an almost impossible task due to the complexity of the control software, the underlying network, and the lack of precision in simulation tools.