A validation solution for network configuration

Deca, Rudy; Cherkaoui, Omar; Puche, Daniel

doi:10.1109/dnsr.2004.1344738

Cited by 8 publications

(1 citation statement)

References 6 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure 3 presents a possible architecture using this method. It shows how an existing tool called ValidMaker [8] that downloads and uploads configuration trees from the configuration file stored on routers and switches, can be used off-the-shelf to provide autonomic behaviour to the devices. A CL validation engine is implemented within ValidMaker.…”

Section: A Self-configuration Scenariomentioning

confidence: 99%

Self-configuration of Network Devices with Configuration Logic

Hallé

Wenaas

Villemaire

et al. 2006

Autonomic Networking

View full text Add to dashboard Cite

Abstract. Autonomic networking is an emerging approach to the management of computer networks that aims at developing self-governed devices. Among the main issues of autonomic systems is the question of self-configuration. In this paper, we describe a method for discovering and self-generating the configuration of a network device in order to dynamically push a new service into a network. On each configuration, several rules representing the semantics of the services are expressed in a logical formalism called Configuration Logic. From these rules, we show how to use traditional satisfiability methods to automatically generate or modify the configuration of a device with respect to the configuration of its neighbours. We illustrate our case with an example of a switch that automatically discovers its VLAN configuration when connected to an existing network. The results presented here have been implemented into the configuration management tool ValidMaker.

show abstract

Section: A Self-configuration Scenariomentioning

confidence: 99%

Self-configuration of Network Devices with Configuration Logic

Hallé

Wenaas

Villemaire

et al. 2006

Autonomic Networking

View full text Add to dashboard Cite

show abstract

Configuration Model for Network Management

Deca

Cherkaoui

Puche

IFIP International Federation for Information Processing

View full text Add to dashboard Cite

Abstract:As today's networks increase in size and complexity and new network services are deployed, the management becomes more complex and error-prone and the configurations can become inconsistent. To enforce the configuration consistence and integrity, it is necessary to enhance the validation capabilities of the management tools. The Meta-CLI Model presented in this paper captures the dependences among the configuration components and the network service properties and translates them into validation rules. It also translates the device configuration information into tree-like models and checks their integrity and consistence using theses rules.

show abstract

Modelling the Temporal Aspects of Network Configurations

Hallé

Deca

Cherkaoui

et al. 2007

IFIP — The International Federation for Information Processing

View full text Add to dashboard Cite

One of the main issues with the existing management configuration is the absence of a transactional model, which should allow the network configuration data to retain their integrity and consistence during the configuration process. In this paper, we propose a mathematical framework based on lattice theory allowing the structuring of configuration operations leading to the concept of component and validation checkpoint, and present polynomial-time algorithms for studying these structures. We will illustrate the model by an example of two examples of configuration operations: the deployment of a VLAN service through SNMP and the deployment of a VPN service through the Netconf protocol.

show abstract

A validation solution for network configuration

Cited by 8 publications

References 6 publications

Self-configuration of Network Devices with Configuration Logic

Self-configuration of Network Devices with Configuration Logic

Configuration Model for Network Management

Modelling the Temporal Aspects of Network Configurations

Contact Info

Product

Resources

About