Mobile Networks and Applications

, Volume 19, Issue 5, pp 598–607 | Cite as

Toward Formalized Autonomic Networking

  • Phan Cong Vinh


Autonomic systems were first described in 2001. Over the last couple of years, autonomics has gained a lot attention in both academia and industry. After the initial interest, the basic concepts of autonomics remain extremely promising in the area of networking, in particular when considering the flexibility provided by the emerging technologies in virtualization and software defined networking. The fundamental goal of autonomics is self-management, including self-configuration, self-optimization, self-healing and self-protection. An autonomic network is defined when nodes have minimal dependencies on human administrators or centralized management systems. This paper formalizes autonomic networking.


Autonomics Autonomic networking Formalization Self-* Self-configuration Self-healing Self-optimization Self-protection 



Thank you to NTTU1 for the constant support of our work which culminated in the publication of this paper. As always, we are deeply indebted to the anonymous reviewers for their helpful comments and valuable suggestions which have contributed to the final preparation of the paper.


  1. 1.
    Behringer M, Pritikin M, Bjarnason S, Clemm A (2014) A framework for autonomic networking. Work in progressGoogle Scholar
  2. 2.
    Hoare C A R, Hayes I J, He J, Morgan C C, Roscoe A W, Sanders J W, Sorensen I H, Spivey J M, Sufrin B A (1987) Laws of programming. Commun ACM 30 (8): 672–686MATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    Vinh P C (2007) Homomorphism between aomrc and hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Sci Ann Comput Sci XVII: 113–145MathSciNetGoogle Scholar
  4. 4.
    Vinh P C (2009) Autonomic computing and networking, chapter formal aspects of self-* in autonomic networked computing systems, 1st edn. Springer, USA, pp 383–412Google Scholar
  5. 5.
    Vinh P C (2009) Dynamic reconfigurability in reconfigurable computing systems: formal aspects of computing, 1st edn. VDM Verlag Dr. Müller, Saarbrücken, p 236Google Scholar
  6. 6.
    Vinh P C (2009) Parallel programming and applications in grid, p2p and network-based systems, chapter formalizing parallel programming in large scale distributed networks: from tasks parallel and data parallel to applied categorical structures. Advances in parallel computing, 1st edn. IOS PressGoogle Scholar
  7. 7.
    Vinh P.C. (2012) Data intensive distributed computing in data aware self-organizing networks. XV LNCS 7050: 74–107Google Scholar
  8. 8.
    Wolf T.D., Holvoet T (2006) Autonomic computing: concepts, infrastructure and applications, chapter a taxonomy for self-* properties in decentralized autonomic computing, 1st edn. CRC Press, pp 101–120Google Scholar
  9. 9.
    Xu Q, He J (1994) Laws of parallel programming with shared variables. In: Till D (ed) Proceedings of the 6th refinement workshop. Springer, pp 5–7. Workshops in Computing. BCS-FACSGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Faculty of Information TechnologyNguyen Tat Thanh UniversityHo Chi Minh CityVietnam

Personalised recommendations