CAREER: Bug Tolerant Networking: Enabling Highly-Available Network Infrastructures through Semantic Transformations.

软件定义网络（SDN）是一项关键的使能技术，有助于过渡到下一代软件定义基础设施，包括虚拟化网络功能、第五代蜂窝网络和先进的无线通信技术以及边缘计算。尽管SDN在未来扮演着至关重要的角色，但网络研究社区仍然需要关键技术和工具来维护高可用性和弹性网络; SDN容易出现软件设计和实现错误，这些错误可能会造成灾难性的后果，例如，这个项目通过引入一个新的范例来解决这些需求，该范例提倡通过将错误触发输入转换为“安全”输入来克服软件“错误”。为了支持这一范式，该项目将开发设计、抽象和算法，以系统和原则的方式识别、隔离和转换触发输入为安全输入。该项目将研究几个研究方向，以实现实际的bug容忍网络，包括（1）引入框架和设计，通过将bug触发输入转换为不同的，但是等价的输入;（2）设计一个抽象和跨层的网络事务，在触发事件的恢复期间和之后提供原子性和一致性;（3）开发算法，通过静态分析控制和数据平面源代码，并建模协议交互，最大限度地提高所提出的框架的效率;以及（4）超越当前SDN范例的一般化技术（例如，OpenFlow）到具有有状态数据平面和表达接口的新兴和未来范例（例如，该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

Software-defined networking (SDN) is a key enabling technology facilitating the transition to a next generation of software defined infrastructure incorporating virtualized network functions, 5th generation cellular networks and advanced wireless communication technologies, and edge computing. Despite SDN's crucial role ahead, the networking research community still needs key techniques and tools to maintain highly available and resilient networks; SDNs are prone to software design and implementation errors that can have catastrophic consequences, e.g., network failures.This project addresses these needs by introducing a novel paradigm that advocates overcoming software `bugs-by transforming the bug triggering inputs into 'safe' inputs. To support this paradigm, the project will develop designs, abstractions and algorithms to identify, isolate, and transform the triggering inputs into safe inputs in a systematic and principled manner.This project will examine several research thrusts to enable practical bug-tolerant networks including to (1) introduce frameworks and designs that guarantee bug recovery and forward progress by transforming bug-triggering inputs into different, but equivalent inputs; (2) design an abstraction and cross-layer network transactions that provide atomicity and consistency during and afterrecovery from triggered events; (3) develop algorithms that maximize the efficiency of the proposed frameworks by statically analyzing control and data plane source code, and modeling protocol interactions; and (4) generalize techniques beyond current SDN paradigms (e.g., OpenFlow) to emergingand future paradigms with stateful data planes and expressive interfaces (e.g., P4).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.