Nettle: Functional Reactive Programming for OpenFlow Networks

Abstract

We describe a language-centric approach to solving the complex, low-level, and error-prone nature 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 designed in layers to accommodate a family of DSLs targeted for specific network applications. The primary core of Nettle is based on the principles of functional reactive programming (FRP). Aside from its useful signal abstraction, FRP facilitates the integration of components written in different higher-level DSLs. We demonstrate our methodology by writing several non-trivial OpenFlow controllers.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2010
Accession Number
ADA555162

Entities

People

  • Andreas Voellmy
  • Ashish Agarwal
  • Paul Hudak

Organizations

  • Yale University

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Computer Network Security
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Ethernet
  • Floods
  • Intrusion Detection
  • Intrusion Detection Systems
  • Intrusion Detectors
  • Language
  • Network Protocols
  • Networks
  • Programming Languages
  • Transport Protocols

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Military History
  • Systems Analysis and Design