Affiliation:
1. Aalborg University, Denmark
2. University of Vienna, Vienna, Austria
Abstract
Emerging software-defined and programmable networking technologies enable more adaptive communication infrastructures. However, leveraging these flexibilities and operating networks more adaptively is challenging, as the underlying infrastructure remains a complex distributed system that is a subject to delays, and as consistency properties need to be preserved transiently, even during network reconfiguration. Motivated by these challenges, we propose Latte, an automated approach to minimize the latency of network update schedules by avoiding unnecessary waiting times and exploiting concurrency, while at the same time provably ensuring a wide range of fundamental consistency properties like waypoint enforcement. To enable automated reasoning about the performance and consistency of software-defined networks during an update, we introduce the model of timed-arc colored Petri nets: an extension of Petri nets which allows us to account for time aspects in asynchronous networks, including characteristic timing behaviors, modeled as timed and colored tokens. This novel formalism may be of independent interest. Latte relies on an efficient translation of specific network update problems into timed-arc colored Petri nets. We show that the constructed nets can be analyzed efficiently via their unfolding into existing timed-arc Petri nets. We integrate Latte into the state-of-the-art model checking tool TAPAAL, and find that in many cases, we are able to reduce the latency of network updates by 90% or more.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Hardware and Architecture,Software
Reference40 articles.
1. Pica8 p3297 data sheet 2014. https://www.pica8.com/wp-content/uploads/ pica8-datasheet-48x1gbe-p3297.pdf. Pica8 p3297 data sheet 2014. https://www.pica8.com/wp-content/uploads/ pica8-datasheet-48x1gbe-p3297.pdf.
2. Trisul network analytics 2017. https: //www.trisul.org/blog/analysing-ssh/post.html. Trisul network analytics 2017. https: //www.trisul.org/blog/analysing-ssh/post.html.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献