Skip to main content

Kinetic: Verifiable Dynamic Network Control

Author(s): Kim, Hyojoon; Reich, Joshua; Gupta, Arpit; Shahbaz, Muhammad; Feamster, Nick; et al

To refer to this page use:
Abstract: Network conditions are dynamic; unfortunately, current approaches to configuring networks are not. Network operators need tools to express how a network’s data-plane behavior should respond to a wide range of events and changing conditions, ranging from unexpected failures to shifting traffic patterns to planned maintenance. Yet, to update the network configuration today, operators typically rely on a combination of manual intervention and ad hoc scripts. In this paper, we present Kinetic, a domain specific language and network control system that enables operators to control their networks dynamically in a concise, intuitive way. Kinetic also automatically verifies the correctness of these control programs with respect to userspecified temporal properties. Our user study of Kinetic with several hundred network operators demonstrates that Kinetic is intuitive and usable, and our performance evaluation shows that realistic Kinetic programs scale well with the number of policies and the size of the network.
Publication Date: 2015
Citation: Kim, Hyojoon, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, and Russ Clark. "Kinetic: Verifiable Dynamic Network Control." In 12th USENIX Symposium on Networked Systems Design and Implementation (2015): pp. 59-72.
Pages: 59 - 72
Type of Material: Conference Article
Journal/Proceeding Title: 12th USENIX Symposium on Networked Systems Design and Implementation
Version: Final published version. This is an open access article.

Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.