Using Service Grammar to Diagnose BGP Configuration Errors

13 years 8 months ago
Using Service Grammar to Diagnose BGP Configuration Errors
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fundamental operation for logically integrating components to set up end-to-end services. Configuration errors arise frequently because transforming end-to-end service requirements into component configurations is inherently difficult. Such transformation is largely performed in a manual and localized fashion, resulting in high cost of network operations. The Service Grammar technique has been developed to solve the configuration error diagnosis problem, and, more generally, to formalize the process of building complex systems via configuration. At its core is a Requirements Language that contains global, high-level constraints upon configuration parameters. These are derived from identifying the notion of “correct configuration” associated with different protocols. These are composed to create system-wide ...
Xiaohu Qie, Sanjai Narain
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where LISA
Authors Xiaohu Qie, Sanjai Narain
Comments (0)