| NSF Org: |
CNS Division Of Computer and Network Systems |
| Recipient: |
|
| Initial Amendment Date: | April 11, 2018 |
| Latest Amendment Date: | September 9, 2022 |
| Award Number: | 1749785 |
| Award Instrument: | Continuing Grant |
| Program Manager: |
Deepankar Medhi
dmedhi@nsf.gov (703)292-2935 CNS Division Of Computer and Network Systems CSE Directorate for Computer and Information Science and Engineering |
| Start Date: | October 1, 2018 |
| End Date: | August 31, 2023 (Estimated) |
| Total Intended Award Amount: | $500,000.00 |
| Total Awarded Amount to Date: | $500,000.00 |
| Funds Obligated to Date: |
FY 2019 = $96,477.00 FY 2020 = $99,802.00 FY 2021 = $41,442.00 FY 2022 = $0.00 |
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
1 PROSPECT ST PROVIDENCE RI US 02912-9100 (401)863-2777 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
Providence RI US 02912-9002 |
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): | Networking Technology and Syst |
| Primary Program Source: |
01001920DB NSF RESEARCH & RELATED ACTIVIT 01002021DB NSF RESEARCH & RELATED ACTIVIT 01002122DB NSF RESEARCH & RELATED ACTIVIT 01002223DB NSF RESEARCH & RELATED ACTIVIT |
| Program Reference Code(s): |
|
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
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 after
recovery 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 emerging
and 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.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
Note:
When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external
site maintained by the publisher. Some full text articles may not yet be available without a
charge during the embargo (administrative interval).
Some links on this page may take you to non-federal websites. Their policies may differ from
this site.
Please report errors in award information by writing to: awardsearch@nsf.gov.
