Internet Service Providers can enforce a fine-grained control of Interdomain Routing by cleverly configuring the Border Gateway Protocol. However, the price to pay for the flexibility of BGP is the lack of convergence guarantees. The literature on network protocol design introduced several sufficient conditions that routing policies should satisfy to guarantee convergence. However, a methodology to systematically check BGP policies for convergence is still missing. This paper presents two fundamental contributions. First, we describe a heuristic algorithm that statically checks BGP configurations for guaranteed routing convergence. Our algorithm has several highly desirable properties: i) it exceeds state-of-the-art algorithms by correctly reporting more configurations as stable, ii) it can be implemented efficiently enough to analyze Internet-scale configurations, iii) it is free from false positives, namely never reports a potentially oscillating configuration as stable, and iv) it can help spot troublesome points in a detected oscillation. Second, we propose an architecture for a modular tool that exploits our algorithm to process native router configurations and report the presence of potential oscillations. Such a tool can effectively integrate syntactic checkers and assist operators in verifying configurations. We validate our approach using a prototype implementation and show that it scales well enough to enable Internet-scale convergence checks.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Binocular Light-Field Imaging Theory and Occlusion-Robust Depth Perception Application ABSTRACT: The depth information can be reconstructed using binocular stereo vision (SV), although it is susceptible to scenes
PROJECT TITLE :Game Theory for Big Data Processing: Multileader Multifollower Game-Based ADMM - 2018ABSTRACT:In this Project, tradeoff and convergence problems for incentive mechanisms are addressed by combining optimization
PROJECT TITLE :Max-Min Fairness Rate Control in Wireless Networks: Optimality and Algorithms by Perron-Frobenius Theory - 2018ABSTRACT:Rate adaptation and power control are two key resource allocation mechanisms in multiuser wireless
PROJECT TITLE :Enhanced Instantaneous Power Theory for Control of Grid Connected Voltage Sourced Converters under Unbalanced Conditions - 2017ABSTRACT:Undesirable power oscillations occur in grid-connected voltage sourced converters
PROJECT TITLE :Stability Boundary Analysis in Single-Phase Grid-Connected Inverters with PLL by LTP Theory - 2017ABSTRACT:Stability analysis of power converters in ac networks is advanced due to the nonlinear nature of the conversion

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry