Abstract
The goal of this research is to create robust execution circuits for communication software which can distribute over a network and which continues to provide its service despite parts of the implementation being knocked out. Like packets that can be lost (which can be recovered by the appropriate protocols) we envisage an environment where parts of a protocol’s execution can be lost. The remaining implementation elements should continue to operate and be able to recover by themselves for restoring full services again. Based on a chemical execution model, we show a few initial examples of packet processing functions that are robust against the knock-out of any single instruction. These examples illustrate how the model can be applied to implement resilient communication protocols, to which we add regulatory signals that can be used to steer the protocols’ code basis.
Chapter PDF
Similar content being viewed by others
Keywords
References
Smirnov, M.: Autonomic Communication: Research Agenda for a New Communication Paradigm. White paper, Fraunhofer FOKUS (2003)
Zambonelli, F., Gleizes, M.P., Mamei, M., Tolksdorf, R.: Spray Computers: Frontiers of Self-Organization. In: Proceeding of 1st International Conference on Autonomic Computing (ICAC 2004), New York, USA, pp. 268–269 (2004)
Tschudin, C.: Fraglets - a Metabolistic Execution Model for Communication Protocols. In: Proceeding of 2nd Annual Symposium on Autonomous Intelligent Networks and Systems (AINS), Menlo Park, USA (2003)
Andersen, D.G., Balakrishnan, H., Kaashoek, M.F., Morris, R.: Resilient Overlay Networks. In: Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP 2001), Banff, Canada (2001)
Jalote, P.: Fault Tolerance in Distributed Systems. Pearson Education (1994) ISBN 0133013677
Dialani, V., Miles, S., Moreau, L., Roure, D.D., Luck, M.: Transparent Fault Tolerance for Web Services based Architectures. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol. 2400, pp. 889–898. Springer, Heidelberg (2002)
Mullender, S. (ed.): Distributed Systems, 2nd edn. ACM Press, New York (1993)
Torres-Pomales, W.: Software Fault Tolerance: A Tutorial. Technical Report TM-2000-210616, NASA (2000)
Whisnant, K., Kalbarczyk, Z.T., Iyer, R.K.: A system model for dynamically reconfigurable software. IBM Systems Journal 42, 45–59 (2003)
Blum, M., Luby, M., Rubinfeld, R.: Self-Testing/Correcting with Applications to Numerical Problems. Journal of Computer and System Sciences 47, 549–595 (1993)
Wasserman, H., Blum, M.: Software Reliability via Run-Time Result-Checking. Journal of the ACM (JACM) 44, 826–849 (1997)
Franklin, M., Garay, J., Yung, M.: Self-Testing/Correcting Protocols. In: Jayanti, P. (ed.) DISC 1999. LNCS, vol. 1693, pp. 269–283. Springer, Heidelberg (1999)
Sander, T., Tschudin, C.: Towards mobile cryptography. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, USA. IEEE Computer Society Press, Los Alamitos (1998)
Sander, T., Tschudin, C.F.: On software protection via function hiding. In: Aucsmith, D. (ed.) IH 1998. LNCS, vol. 1525, pp. 111–123. Springer, Heidelberg (1998)
Preskill, J.: Fault-Tolerant Quantum Computation (1997) arXiv:quant-ph/9712048.
Anthony, R.J.: Emergence: A Paradigm for Robust and Scalable Distributed Applications. In: International Conference on Autonomic Computing (ICAC 2004), New York, USA (2004)
Fontana, W., Wagner, A.: Mutational Robustness, Modularity and Evolvability. Research focus area robustness, Santa Fe Institute (2002) http://www.santafe.edu/sfi/research/focus/robustness/projects/mutationalRobustness.html .
Jeong, H., Tombor, B., Albert, R., Oltvai, Z., Barabási, A.L.: The large-scale organization of metabolic networks. Nature 407, 651–654 (2000)
Dewdney, A.K.: Recreational Mathematics – Core Wars. Scientific American (1984), See also, http://www.koth.org/ .
Banâtre, J.P., Métayer, D.L.: A new computational model and its discipline of programming, Technical Report RR0566, INRIA (1986)
Banâtre, J.P., Métayer, D.L.: Gamma and the chemical reaction model. Internal publication pi-984, INRIA (1996)
Banâtre, J.P., Fradet, P., Radenac, Y.: Principles of chemical programming. In: Fifth International Workshop on Rule-Based Programming, RULE 2004 (2004)
Berry, G., Boudol, G.: The chemical abstract machine. Research report rr-1133, INRIA Sophia Antipolis (1989)
Paun, G.: Computing with Membranes. Journal of Computer and System Sciences 61, 108–143 (2000)
Wermelinger, M.A.: Specification of Software Architecture Reconfiguration. PhD dissertation, Universidade Nova de Lisboa, Lisbon, Portugal (1999)
Stamatopoulou, I., Gheorghe, M., Kefalas, P.: Modelling of dynamic configuration of biology-inspired multi-agent systems with communicating X-machines and population P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 389–403. Springer, Heidelberg (2005)
Syropoulos, A.: On P systems and distributed computing. In: Fifth Workshop on Membrane Computing (WMC5), Milan, Italy (2004)
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)
Mackert, L.F., Neumeier-Mackert, I.B.: Communicating Rule Systems. Protocol Specification, Testing and Verification VII, Proc IFIP WG6.1. In: 7th International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tschudin, C., Yamamoto, L. (2005). A Metabolic Approach to Protocol Resilience. In: Smirnov, M. (eds) Autonomic Communication. WAC 2004. Lecture Notes in Computer Science, vol 3457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11520184_15
Download citation
DOI: https://doi.org/10.1007/11520184_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27417-9
Online ISBN: 978-3-540-32009-8
eBook Packages: Computer ScienceComputer Science (R0)