Kinetic: Verifiable dynamic network control

Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, Russ Clark

Research output: Chapter in Book/Report/Conference proceedingConference contribution

95 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
PublisherUSENIX
Pages59-72
Number of pages14
ISBN (Electronic)9781931971218
StatePublished - 2015
Event12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015 - Oakland, United States
Duration: May 4 2015May 6 2015

Publication series

NameProceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015

Other

Other12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
Country/TerritoryUnited States
CityOakland
Period5/4/155/6/15

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Kinetic: Verifiable dynamic network control'. Together they form a unique fingerprint.

Cite this