Multi-layer framework for analysing and managing routing configurations

Several research works have shown that the process of Internet routing configuration is error-prone. The primary method used by operators to determine whether their routing configurations are correct is to try them out in operation. A more advanced method is the static analysis of router configurations before they are deployed. We believe that there is a need of broader approaches to verify router configurations automatically and continuously, that is, without human intervention before and after they are deployed. This paper describes a multi-layer analysis framework for configuration checking, which includes three analysis tasks: static analysis before the configuration is deployed; runtime analysis after the configuration is deployed, which is based on routing event monitoring; and active analysis based on checking external information provided by third-parties. We also present the most relevant details of the implementation of our framework.