NeTS: Medium: Collaborative research: Automatic Network Repair

NeTS：媒介：协作研究：自动网络修复

基本信息

批准号：
1763871
负责人：
Loris DAntoni
金额：
$ 103万
依托单位：
University of Wisconsin-Madison
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-10-01 至 2023-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1763871&HistoricalAwards=false
关键词：
NeTS Medium Collaborative research Automatic

项目摘要

Modern computer networks must satisfy increasingly complex security, availability, and performance objectives to meet the diverse needs of users and applications. Consequently, programming a network to satisfy these requirements has become extremely challenging, even for highly skilled network operators. While previous work has helped operators generate policy-compliant network configurations, networks can still experience unexpected behaviors such as link failures or traffic surges, which can lead to policy violations that require a repair of the network. Today, repairs are often done manually and are error-prone. This project will develop a ground-up framework for automatically and efficiently repairing networks that do not satisfy given requirements. Building on previous work, this research lays the foundation for "zero touch networking", where a network's behavior is automatically managed based on high-level objectives provided by human operators. The results of this research will enable individuals without extensive training to repair network data and control planes, thus paving the way for increased stability and security in the networks on which businesses, governments, and individuals so heavily depend.This project proposes to develop a formal framework for automatically creating optimal network repairs and for providing formal guarantees on the quality of the generated repairs. Concretely, the project will pursue research on three fronts: 1) Design formal abstractions for distributed control planes that compute high-quality repairs for a wide range of policies. 2) Design formal abstractions for centralized control planes that compute high-quality repairs for a wide range of policies. 3) Design and implement algorithms for repairing control planes in the presence of probabilistic events (e.g., to conform to traffic engineering policies).This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

现代计算机网络必须满足日益复杂的安全性、可用性和性能目标，以满足用户和应用程序的多样化需求。因此，即使对于技术精湛的网络运营商来说，对网络进行编程以满足这些要求也变得极具挑战性。虽然之前的工作已帮助运营商生成符合策略的网络配置，但网络仍然可能会遇到意外行为，例如链路故障或流量激增，这可能导致违反策略，需要修复网络。如今，维修通常是手动完成的，并且很容易出错。该项目将开发一个基础框架，用于自动有效地修复不满足给定要求的网络。在之前的工作基础上，这项研究为“零接触网络”奠定了基础，即根据人类操作员提供的高级目标自动管理网络的行为。这项研究的结果将使未经广泛培训的个人能够修复网络数据和控制平面，从而为企业、政府和个人严重依赖的网络的稳定性和安全性的提高铺平道路。该项目建议开发一个正式的用于自动创建最佳网络修复并为生成的修复质量提供正式保证的框架。具体来说，该项目将在三个方面进行研究：1）为分布式控制平面设计形式抽象，为各种策略计算高质量的修复。 2) 为集中式控制平面设计形式抽象，为各种策略计算高质量的修复。 3) 设计和实现在出现概率事件时修复控制平面的算法（例如，以符合交通工程政策）。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优势和更广泛的影响进行评估，被认为值得支持审查标准。

项目成果

期刊论文数量（9）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

D2R: Policy-Compliant Fast Reroute

D2R：符合策略的快速重新路由

DOI：
10.1145/3482898.3483360
发表时间：
2021-01
期刊：
SOSR '21: Proceedings of the ACM SIGCOMM Symposium on SDN Research
影响因子：
0
作者：
Subramanian, Kausik;Abhashkumar, Anubhavnidhi;D'Antoni, Loris;Akella, Aditya
通讯作者：
Akella, Aditya

AED: incrementally synthesizing policy-compliant and manageable configurations

AED：逐步综合符合策略且可管理的配置

DOI：
10.1145/3386367.3431304
发表时间：
2020-11
期刊：
Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies
影响因子：
0
作者：
Abhashkumar, Anubhavnidhi;Gember;Akella, Aditya
通讯作者：
Akella, Aditya

Detecting network load violations for distributed control planes

检测分布式控制平面的网络负载违规

DOI：
10.1145/3385412.3385976
发表时间：
2020-06
期刊：
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design
影响因子：
0
作者：
Subramanian, Kausik;Abhashkumar, Anubhavnidhi;D'Antoni, Loris;Akella, Aditya
通讯作者：
Akella, Aditya

Programmable Program Synthesis

可编程程序综合