.png){kind=icon}
返回
A Declarative Approach to Network Device Configuration Correctness
.png){kind=icon}
PRE
AI
DOI：10.1007/s10922-016-9387-7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Configuration Logic (CL) is a formal language that allows a network engineer to express constraints in terms of the actual parameters found in the configuration of network devices. We present an efficient algorithm that can automatically check a pool of devices for conformance to a set of CL constraints; moreover, this algorithm can point to the part of the configuration responsible for the error when a constraint is violated. Contrary to other validation approaches that require dumping the configuration of the whole network to a central location in order to be verified, we also present an algorithm that analyzes the correct formulas and greatly helps reduce the amount of data that need to be transferred to that central location, pushing as much of the evaluation of the formula locally on each device. The procedure is also backwards-compatible, in such a way that a device that does not (or only partially) supports a local evaluation may simply return a subset or all of its configuration. These capabilities have been integrated into a network management tool called ValidMaker.
Keyword:
Management
Fault detection
Logical constraints
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
1.0K
被引数:
1.3K
机构
引用论文
Identification of New Agonists and Antagonists of the Insect Odorant Receptor Co-Receptor Subunit.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏Symmetry aspects of the pion leptoproduction and the upper limit of the Levelt-Mulders asymmetryπ介子轻产生中的对称性方面以及Levelt-Mulders不对称性的上限
PREAI
分享收藏
分享收藏
查看更多内容