Self-configuration of Network Devices with Configuration Logic

  • Sylvain Hallé
  • Éric Wenaas
  • Roger Villemaire
  • Omar Cherkaoui
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4195)


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.


Model Check Network Device Satisfying Assignment Autonomic Computing Validation Time 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
  2. 2.
    An OSS for packet networks. Cisco Systems Packet Magazine 14(1), 25–27 (2002)Google Scholar
  3. 3.
    802.11Q: Virtual bridged local area networks standard (2003),
  4. 4.
    802.11Q: Virtual bridged local area networks standard (2003),
  5. 5.
    Boutaba, R., Omari, S., Virk, A.P.S.: SELFCON: An architecture for self-configuration of networks. Journal of Communications and Networks 3(4), 317–323 (2001)Google Scholar
  6. 6.
    Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. In: TLDI, pp. 62–73 (2003)Google Scholar
  7. 7.
    Couch, A.L., Gilfix, M.: It’s elementary, dear Watson: Applying logic programming to convergent system management processes. In: LISA, pp. 123–138. USENIX (1999)Google Scholar
  8. 8.
    Deca, R., Cherkaoui, O., Puche, D.: A validation solution for network configuration. In: CNSR (2004)Google Scholar
  9. 9.
    Enns, R.: Netconf. configuration protocol, IETF internet draft (February 2006)Google Scholar
  10. 10.
    Fakhouri, S.A., Goldszmidt, G.S., Kalantar, M.H., Pershing, J.A., Gupta, I.: Gulfstream - a system for dynamic topology management in multi-domain server farms. In: CLUSTER, pp. 55–62. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  11. 11.
    Gaïti, D., Pujolle, G., Salaun, M., Zimmermann, H.: Autonomous network equipments. In: Stavrakakis, I., Smirnov, M. (eds.) WAC 2005. LNCS, vol. 3854, pp. 177–185. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Golab, W., Boutaba, R.: Optical network reconfiguration using automated regression-based parameter value selection. In: ICN (2004)Google Scholar
  13. 13.
    Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R.: Automated validation of service configuration on network devices. In: Vicente, J.B., Hutchison, D. (eds.) MMNS 2004. LNCS, vol. 3271, pp. 176–188. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Hallé, S., Villemaire, R., Cherkaoui, O.: CTL model checking for labelled tree queries. In: TIME, pp. 27–35. IEEE Computer Society, Los Alamitos (2006)Google Scholar
  15. 15.
    Hariri, S., Xue, L., Chen, H., Zhang, M., Pavuluri, S., Rao, S.: Autonomia: An autonomic computing environment. In: IPCCC (April 2003)Google Scholar
  16. 16.
    Keller, R.M.: Self-Configuring Services for Extensible Networks – A Routing-Integrated Approach. PhD thesis, Swiss Federal Institute of Technology (2004)Google Scholar
  17. 17.
    Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering and efficient SAT solver. In: Proceedings of the 39th Design Automation Conference (June 2001)Google Scholar
  18. 18.
    Nieuwenhuis, R., Oliveras, A.: Decision procedures for SAT, SAT modulo theories and beyond. The barcelogicTools. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol. 3835, pp. 23–46. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Parashar, M., Hariri, S.: Autonomic computing: An overview. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 257–269. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. 20.
    Pujolle, G., Gaïti, D.: Intelligent routers and smart protocols. In: Aagesen, F.A., Anutariya, C., Wuwongse, V. (eds.) INTELLCOMM 2004. LNCS, vol. 3283, pp. 16–27. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    Strassner, J.: Directory Enabled Networks. Macmillan Technical Publishing, Basingstoke (1999)Google Scholar
  22. 22.
    Villemaire, R., Hallé, S., Cherkaoui, O.: Configuration logic: A multi-site modal logic. In: TIME, pp. 131–137. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  23. 23.
    Villemaire, R., Hallé, S., Cherkaoui, O.: A hierarchical logic for network configuration. In: LPAR (2005) (Short paper proceedings)Google Scholar
  24. 24.
    Zhang, H., Stickel, M.E.: Implementing the Davis-Putnam method. J. Autom. Reasoning 24(1/2), 277–296 (2000)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Sylvain Hallé
    • 1
  • Éric Wenaas
    • 1
  • Roger Villemaire
    • 1
  • Omar Cherkaoui
    • 1
  1. 1.Université du Québec à MontréalMontréalCanada

Personalised recommendations