An official website of the United States government
Today's distributed network control planes are highly sophisticated, with multiple interacting protocols operating at layers 2 and 3. The complexity makes network configurations highly complex and bug-prone. State-of-the-art tools that check if control plane bugs can lead to violations of key properties are either too slow, or do not model common network features. We develop a new, general multilayer graph control plane model that enables using fast, property-customized verification algorithms. Our tool, Tiramisu can verify if policies hold under failures for various real-world and synthetic configurations in < 0.08s in small networks and < 2.2s in large networks. Tiramisu is 2-600X faster than state-of-the-art without losing generality.
more »
« less
Mitigating the Risks of Supporting Multiple Control Plans in a Production SDN Network: A Use Case
The SDN paradigm enables network operators to host multiple control planes in parallel, being an approach to support multiple network services. Supporting multiple control planes over production networks exposes the production environment to potential risks and increases operational complexity. To understand and mitigate these risks, we implemented procedures and tools that resulted in a more reliable network. This paper describes our experience and findings with the support of multiple control planes in a wide-area production network.
more »
« less
- Award ID(s):
- 1451024
- PAR ID:
- 10056976
- Date Published:
- Journal Name:
- SBRC/WPEIF 2017
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The 5G user plane function (UPF) is a critical inter-connection point between the data network and cellular network infrastructure. It governs the packet processing performance of the 5G core network. UPFs also need to be flexible to support several key control plane operations. Existing UPFs typically run on general-purpose CPUs, but have limited performance because of the overheads of host-based forwarding. We design Synergy, a novel 5G UPF running on SmartNICs that provides high throughput and low latency. It also supports monitoring functionality to gather critical data on user sessions for the prediction and optimization of handovers during user mobility. The SmartNIC UPF efficiently buffers data packets during handover and paging events by using a two-level flow-state access mechanism. This enables maintaining flow-state for a very large number of flows, thus providing very low latency for control and data planes and high throughput packet forwarding. Mobility prediction can reduce the handover delay by pre-populating state in the UPF and other core NFs. Synergy performs handover predictions based on an existing recurrent neural network model. Synergy's mobility predictor helps us achieve 2.32× lower average handover latency. Buffering in the SmartNIC, rather than the host, during paging and handover events reduces packet loss rate by at least 2.04×. Compared to previous approaches to building programmable switch-based UPFs, Synergy speeds up control plane operations such as handovers because of the low P4-programming latency leveraging tight coupling between SmartNIC and host.more » « less
-
Abstract The rapidly expanding market for regenerative medicines and cell therapies highlights the need to advance the understanding of cellular metabolisms and improve the prediction of cultivation production process for human induced pluripotent stem cells (iPSCs). In this paper, a metabolic kinetic model was developed to characterize the underlying mechanisms of iPSC culture process, which can predict cell response to environmental perturbation and support process control. This model focuses on the central carbon metabolic network, including glycolysis, pentose phosphate pathway, tricarboxylic acid cycle, and amino acid metabolism, which plays a crucial role to support iPSC proliferation. Heterogeneous measures of extracellular metabolites and multiple isotopic tracers collected under multiple conditions were used to learn metabolic regulatory mechanisms. Systematic cross‐validation confirmed the model's performance in terms of providing reliable predictions on cellular metabolism and culture process dynamics under various culture conditions. Thus, the developed mechanistic kinetic model can support process control strategies to strategically select optimal cell culture conditions at different times, ensure cell product functionality, and facilitate large‐scale manufacturing of regenerative medicines and cell therapies.more » « less
-
As data-informed decision-making continues to evolve across multiple disciplines in higher education institutions, and as the role of research administration continues to expand from proposal submissions, compliance, and managing research and development expenditures to a profession of an active partnership with investigators to support institutional research, it becomes necessary to have a strategy or model to inform best practices in both strategic planning and business operations within research administration. As numerous research evaluation frameworks and assessment models were proposed to improve the administrative processes of institutional research, this project proposes a data-analytics approach to enhance the services provided by research administrators to minimize risks, maximize efficiencies, and better support researchers and other research and development (R&D) personnel in higher education. This article documents the process of conducting a systematic literature review on leveraging research administration data-analytics in higher education to provide evidence-based practices to inform decision-making regarding strategic advancement in institutional research. The literature review examines current works on how data can be effectively used in process operations, control, and provides new perspectives on how research administration process systems might evolve into a new paradigm of data enhanced operations and control.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- The DOI is not currently available.
