Abstract
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design time. For this to become feasible autonomic systems must ensure non-disruptive on-line software evolution. We investigate related code steering techniques in two directions: One is the fully automatic selection of protocol service elements where, depending on device characteristics and current operation environment, each communication entity has to select among a potentially wide variety of protocol implementations providing similar services. The other direction relates to the automatic synthesis of new protocol elements which are the result of optimizing existing implementations for a specific context. In both cases we look at genetic programming as a tool to generate new code and software configurations automatically. In this paper we propose a framework for such a resilient protocol evolution and report on first exploratory results on the adaptation and re-adaptation to environmental conditions, and the elimination of superfluous code.
Keywords
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-32993-0_29
Download to read the full chapter text
Chapter PDF
References
Manna, Z., Waldinger, R.: Fundamentals of Deductive Program Synthesis. IEEE Transactions on Software Engineering 18, 674–704 (1992)
Banzhaf, W., Nordin, P., Keller, R.E., Francone, F.D.: Genetic Programming, An Introduction. Morgan Kaufmann Publishers, Inc., San Francisco (1998)
Sipper, M., Sanchez, E., Mange, D., Tomassini, M., Perez-Uribe, A., Stauffer, A.: A Phylogenetic, Ontogenetic, and Epigenetic View of Bio-Inspired Hardware Systems. IEEE Transactions on Evolutionary Computation 1 (1997)
Andersson, B., Svensson, P., Nordin, P., Nordahl, M.: On-line Evolution of Control for a Four-Legged Robot Using Genetic Programming. In: Oates, M.J., Lanzi, P.L., Li, Y., Cagnoni, S., Corne, D.W., Fogarty, T.C., Poli, R., Smith, G.D. (eds.) EvoIASP 2000, EvoWorkshops 2000, EvoFlight 2000, EvoSCONDI 2000, EvoSTIM 2000, EvoTEL 2000, and EvoROB/EvoRobot 2000. LNCS, vol. 1803, pp. 319–326. Springer, Heidelberg (2000)
Steels, L.: Emergent functionality in robotic agents through on-line evolution. In: Proceedings of AlifeIV. MIT Press, Cambridge (1994)
Nakano, T., Suda, T.: Adaptive and Evolvable Network Services. In: Deb, K., et al. (eds.) GECCO 2004. LNCS, vol. 3102, pp. 151–162. Springer, Heidelberg (2004)
Probert, R.L., Saleh, K.: Synthesis of Communication Protocols: Survey and Assessment. IEEE Transactions on Computers 40, 468–476 (1991)
Perrig, A., Song, D.: A First Step towards the Automatic Generation of Security Protocols. In: Proc. Network and Distributed System Security (NDSS 2000) (2000)
Song, D., Perrig, A., Phan, D.: AGVI – Automatic Generation, Verification, and Implementation of Security Protocols. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, p. 241. Springer, Heidelberg (2001)
Sharples, N., Wakeman, I.: Protocol construction using genetic search techniques. In: Oates, M.J., Lanzi, P.L., Li, Y., Cagnoni, S., Corne, D.W., Fogarty, T.C., Poli, R., Smith, G.D. (eds.) EvoIASP 2000, EvoWorkshops 2000, EvoFlight 2000, EvoSCONDI 2000, EvoSTIM 2000, EvoTEL 2000, and EvoROB/EvoRobot 2000. LNCS, vol. 1803, pp. 235–246. Springer, Heidelberg (2000)
Sharples, N.: Evolutionary Approaches to Adaptive Protocol Design. PhD dissertation, University of Sussex, UK (2001)
Araújo, S.G., Pedroza, A.C.P., Mesquita, A.C.: Evolutionary Synthesis of Communication Protocols. In: 10th International Conference on Telecommunications (ICT 2003), vol. 2, pp. 986–993 (2003)
Whisnant, K., Kalbarczyk, Z.T., Iyer, R.K.: A system model for dynamically reconfigurable software. IBM Systems Journal 42, 45–59 (2003)
Ruf, L., Keller, R., Plattner, B.: A Scalable High-performance Router Platform Supporting Dynamic Service Extensibility On Network And Host Processors. In: Proceedings of the 2004 ACS/IEEE International Conference on Pervasive Services (ICPS 2004), Beirut, Lebanon, pp. 19–23 (2004)
Hutchinson, N.C., Peterson, L.L.: The x-Kernel: An architecture for implementing network protocols. IEEE Transactions on Software Engineering 17, 64–76 (1991)
Plagemann, T.: A Framework for Dynamic Protocol Configuration. PhD dissertation, Swiss Federal Institute of Technology Zurich, Zurich, Switzerland (1994)
Patel, P., Wetherall, D., Lepreau, J., Whitaker, A.: TCP Meets Mobile Code. In: Proc. of the Ninth Workshop on Hot Topics in Operating Systems. IEEE Computer Society, Los Alamitos (2003)
Tschudin, C., Yamamoto, L.: A Metabolic Approach to Protocol Resilience. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol. 3457, pp. 191–206. Springer, Heidelberg (2005)
Banâtre, J.P., Métayer, D.L.: Gamma and the Chemical Reaction Model. Internal Publication PI-984, INRIA, France (1996)
Banâtre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: Proc 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004), pp. 72–79 (2004)
Tschudin, C.: Fraglets - a Metabolistic Execution Model for Communication Protocols. In: Proc. 2nd Annual Symposium on Autonomous Intelligent Networks and Systems (AINS), Menlo Park, USA (2003)
Luke, S.: Issues in Scaling Genetic Programming: Breeding Strategies, Tree Generation, and Code Bloat. PhD dissertation, University of Maryland, USA (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yamamoto, L., Tschudin, C. (2006). Experiments on the Automatic Evolution of Protocols Using Genetic Programming. In: Stavrakakis, I., Smirnov, M. (eds) Autonomic Communication. WAC 2005. Lecture Notes in Computer Science, vol 3854. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11687818_2
Download citation
DOI: https://doi.org/10.1007/11687818_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32992-3
Online ISBN: 978-3-540-32993-0
eBook Packages: Computer ScienceComputer Science (R0)