Nettle: taking the sting out of programming network routers. We describe a language-centric approach to solving the complex, low-level, and error-prone problem of network control. Specifically, we have designed a domain-specific language called Nettle, embedded in Haskell, that allows programming OpenFlow networks in an elegant, declarative style. Nettle is based on the principles of functional reactive programming (FRP), and as such has both continuous and discrete abstractions, each of which is leveraged in the design. We have implemented Nettle and tested it on real OpenFlow switches. We demonstrate our methodology by writing several non-trivial OpenFlow controllers.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Caltais, Georgiana; Tunç, Hünkar Can: Explaining safety failures in NetKAT (2021)
- Singh, Jagdeep; Behal, Sunny: Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions (2020)
- Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian: WNetKAT: a weighted SDN programming and verification language (2017)
- Voellmy, Andreas; Hudak, Paul: Nettle: A language for configuring routing networks (2009) ioport