\section{Motivation and Related Works}
In this section, we review the properties of a canonical \SDN environment, focusing on the salient interactions between applications and controllers. Then present an overview of the fault model within \SDN environments coupled with a discussion of related works and relevant techniques from other domains; most notable operating systems and distributed systems.
 
\input{background}

\input{related}