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

职业:容错网络:通过语义转换实现高可用性的网络基础设施。

基本信息

  • 批准号:
    2326509
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-01-01 至 2024-09-30
  • 项目状态:
    已结题

项目摘要

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

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Theophilus Benson其他文献

Theophilus Benson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Theophilus Benson', 18)}}的其他基金

NeTS: Small: Network-centric IoT Security
NeTS:小型:以网络为中心的物联网安全
  • 批准号:
    2326507
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Bug Tolerant Networking: Enabling Highly-Available Network Infrastructures through Semantic Transformations.
职业:容错网络:通过语义转换实现高可用性的网络基础设施。
  • 批准号:
    1749785
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
NeTS: Small: Data Driven Mobile Web Performance
NetS:小型:数据驱动的移动 Web 性能
  • 批准号:
    1814285
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NeTS: Small: Network-centric IoT Security
NeTS:小型:以网络为中心的物联网安全
  • 批准号:
    1816340
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CSR: Medium: Collaborative Research: Towards Finer-grained Cloud Computing
CSR:媒介:协作研究:迈向更细粒度的云计算
  • 批准号:
    1819109
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Proposal to Support Student Travel for the ACM CoNEXT 2014 Conference
支持学生参加 ACM CoNEXT 2014 会议的旅行提案
  • 批准号:
    1451227
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CSR: Medium: Collaborative Research: Towards Finer-grained Cloud Computing
CSR:媒介:协作研究:迈向更细粒度的云计算
  • 批准号:
    1409426
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant

相似国自然基金

面向Bug报告的软件故障重现方法研究
  • 批准号:
    61502345
  • 批准年份:
    2015
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
软件bug仓库的优先级挖掘及其应用研究
  • 批准号:
    61370144
  • 批准年份:
    2013
  • 资助金额:
    75.0 万元
  • 项目类别:
    面上项目
基于BUG的农田作业车辆绕行避障算法研究
  • 批准号:
    61175081
  • 批准年份:
    2011
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
基于bug效应量化分析的功能验证技术
  • 批准号:
    60906013
  • 批准年份:
    2009
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CRII: SHF: An Automated and User-centered Framework for Reproducing System-level Concurrency Bugs by Analyzing Bug Reports
CRII:SHF:通过分析错误报告来重现系统级并发错误的自动化且以用户为中心的框架
  • 批准号:
    2348277
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Improving Software Quality by Automatically Reproducing Failures from Bug Reports
协作研究:SHF:中:通过自动重现错误报告中的故障来提高软件质量
  • 批准号:
    2403747
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CRII: SHF: RUI: Leroid: Bug Oracle and Environment Configuration Automation for Android Bug Report Reproduction
CRII:SHF:RUI:Leroid:用于 Android Bug 报告复制的 Bug Oracle 和环境配置自动化
  • 批准号:
    2246186
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Bug-Busting Spandex: Biodegrading Textile Blends for Molecular Recycling
消灭昆虫的氨纶:用于分子回收的生物降解纺织品混合物
  • 批准号:
    BB/X011348/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
Elucidation of the ecology of the spotted rice stink bug and establishment of low environmental impact pest management system.
阐明稻蝽生态并建立低环境影响害虫管理体系。
  • 批准号:
    23K05242
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Research: SHF: Medium: Bug Report Management 2.0
协作研究:SHF:中:错误报告管理 2.0
  • 批准号:
    2343057
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CRII: SHF: RUI: Leroid: Bug Oracle and Environment Configuration Automation for Android Bug Report Reproduction
CRII:SHF:RUI:Leroid:用于 Android Bug 报告复制的 Bug Oracle 和环境配置自动化
  • 批准号:
    2342355
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Development of pheromones for innovative management of Forest Bug, an emerging pest of orchards in England: FORBUG
开发信息素用于森林臭虫的创新管理,森林臭虫是英格兰果园的一种新兴害虫:FORBUG
  • 批准号:
    10027494
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Collaborative R&D
From 'plant blindness' to 'bug blindness': disseminating an evidence-based pedagogy for plants and refining methodologies in attitudinal research
从“植物盲”到“虫盲”:传播植物循证教育学并完善态度研究方法
  • 批准号:
    ES/X007324/1
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Fellowship
Collaborative Research: SHF: Medium: Improving Software Quality by Automatically Reproducing Failures from Bug Reports
协作研究:SHF:中:通过自动重现错误报告中的故障来提高软件质量
  • 批准号:
    2211453
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了