FatTire: Declarative Fault Tolerance for Software Defined Networks

Mark Reitblatt, Marco Canini, Arjun Guha, and Nate Foster
Workshop on Hot Topics in Software Defined Networking (HotSDN), 2013

This paper presents FatTire, a new language for writing fault-tolerant network programs. The central feature of this language is a new programming construct based on regular expressions that allows developers to specify the set of paths that packets may take through the network as well as the degree of fault tolerance required. This construct is implemented by a compiler that targets the in-network fast-failover mechanisms provided in recent versions of the OpenFlow standard, and facilitates simple reasoning about network programs even in the presence of failures. We describe the design of FatTire, present algorithms for compil- ing programs to OpenFlow switch configurations, describe our prototype FatTire implementation, and demonstrate its use on simple examples.


    author = "Mark Reitblatt and Marco Canini and Arjun Guha and Nate Foster",
    title = "{FatTire}: Declarative Fault Tolerance for {S}oftware-{D}efined
    year = 2013,
    booktitle = "ACM SIGCOMM Workshop on Hot Topics in Software Defined
                 Networking (HotSDN)"