DocumentCode :
119425
Title :
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness
Author :
Ngoupe, Eric Lunaud ; Stoesel, Sylvain ; Parisot, Clement ; Halle, Sylvain ; Valtchev, Petko ; Cherkaoui, Omar ; Boucher, Pierre
Author_Institution :
Univ. du Quebec a Chicoutimi, Chicoutimi, QC, Canada
fYear :
2014
fDate :
4-7 Aug. 2014
Firstpage :
190
Lastpage :
193
Abstract :
Configuration validation is the process of automatically assessing whether the various configuration parameters of a network´s devices are set to appropriate values according to a set of formal constraints given beforehand. Virtually all automated validation solutions presented to date assume a centralized and complete knowledge of the network´s configuration to perform their analysis. We present an algorithm that automatically performs this evaluation, while still requiring the need for a centralized point of verification, this algorithm can analyze the constraints to evaluate, and reduce the amount of data that needs to be transferred to that central location, pushing as much of the evaluation of each constraint locally on each device.
Keywords :
computer network management; configuration management; formal verification; automated validation solutions; centralized knowledge; configuration parameters; configuration validation; constraint analysis; formal constraints; lazy evaluation strategy; network configuration; network device configuration correctness assessment; verification; Algorithm design and analysis; Bandwidth; Computer networks; Correlation; Performance evaluation; Protocols; XML; Meta-CLI; configuration correctness; logical constraints; network management;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on
Conference_Location :
Tianjin
Print_ISBN :
978-1-4799-5481-0
Type :
conf
DOI :
10.1109/ICECCS.2014.34
Filename :
6923136
Link To Document :
بازگشت