Particle-based methodology for representing mobile ad-hoc networks

ABSTRACT

We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism with its basic postulates seeing the messages signals and nodes as interacting/colliding particles and space-temporal zones, respectively. In particular we focus on using this "Particle" view for Ad-Hoc networks, where we can represent network nodes as the moving particles in physics. This idea can be used in several types of networks like sensor or mobile, and even to computational systems, this first presentation aims to continue with further work on robustness, tools, and examples on how this view can be used in specification of complex networks in conjunction with existing methodologies and tools.

REFERENCES

• 1: Edward A. Lee, and Alberto Sangiovanni-Vincentelli,. A Framework for Comparing Models of Computation, IEEE Trans. on Computer-Aided Design Of Integrated Circuits And Systems, VOL. 17, NO. 12, DECEMBER 1998 1217
• 2: Chlamtac, I.; Kutten, S.; On Broadcasting in Radio Networks--Problem Analysis and Protocol Design. IEEE Transactions on Communications, 1985, Volume 33, Issue 12, Dec 1985 Page(s): 1240--1246
• 3: Shuvra S. Bhattacharyya , Praveen K. Murthy , Edward A. Lee, Synthesis of Embedded Software from Synchronous Dataflow Specifications, Journal of VLSI Signal Processing Systems, v.21 n.2, p.151-166, June 1999 [doi>10.1023/A:1008052406396]
• 4: Martinez C., GRIDs when the smaller outperform the big fish, ASTIC Journal, Vol 33 Mars 2005, Madrid, Spain
• 5: Pierre-Guillaume Raverdy , Valerie Issarny, Context-Aware Service Discovery in Heterogeneous Networks, Proceedings of the Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM'05), p.478-480, June 13-16, 2005 [doi>10.1109/WOWMOM.2005.33]
• 6: S. Edwards, Luciano Lavagno, Edward A. Lee, and A. Sangiovanni-Vincentelli Design of Embedded Systems Formal Models, Validation, and Synthesis. Proceedings of IEEE, vol85, no3, mar1997, pp.366--390
• 7: Stojmenovic, I., 2002, Position-based routing in ad hoc networks,; Communications Magazine, IEEE Volume 40, Issue 7, July 2002 Page(s):128--134
• 8: Marvin V. Zelkowitz , Ioana Rus, Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program, Proceedings of the 23rd International Conference on Software Engineering, p.349-357, May 12-19, 2001, Toronto, Ontario, Canada
• 9: Chip Elliott , David Pearson , Gregory Troxel, Quantum cryptography in practice, Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, August 25-29, 2003, Karlsruhe, Germany [doi>10.1145/863955.863982]
• 10: R. Albert, A-L. Barabási, Statistical mechanics of complex networks, Reviews of Modern Physics 74, 47 (2002) Arxiv:cond-mat/0106096
• 11: F. Damian, C. Martinez, "Internet Network security a pending matter", Proc. International Y Conference UNIV 1993, Rome Italy, April 1993
• 12: Ahmed, A.; Fraz, M. M.; Zahid, F. A.; Some results of experimentation with extreme programming paradigm, 7th International Multi Topic Conference, 2003. INMIC 2003. 8-9 Dec. 2003 Page(s):387--390
• 13: Weifeng Xu , Ramshankar Ramanarayanan , Russell Tessier, Adaptive Fault Recovery for Networked Reconfigurable Systems, Proceedings of the 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, p.143, April 09-11, 2003
• 14: Calvo M., Martinez C, Alba J., "Simulacion VSAT". Satellite Aloha Protocol with BoNES Simulation. VIII Simposium Nacional URSI, pp 10--14. Valencia, Sept. 1993
• 15: M. Yarvis, N. Kushalnagar, H. Singh, A. Rangarajan, Y. Liu, S. Singh, "Exploiting Heterogeneity in Sensor Networks", IEEE International Conference INFOCOM 2005
• 16: A. Einstein, Investigations on the Theory of Brownian Movement, ed. R. Fürth, translated by A. D. Cowper (1926, reprinted NY 1956); Einstein, Collected Papers, vol. 2, 170--82, 206--22.
• 17: Gacs, P.; The Boltzmann entropy and randomness tests. Workshop on Physics and Computation,. PhysComp 17-20. 1994 Page(s): 209 -- 216
• 18: G. D. Hachtel, E. Macii,; A. Pardo, F. Somenzi, "Markovian analysis of large finite state machines", IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Vol15 i12, 1996 Pp: 1479--93
• 19: Max do V. Machado , Olga Goussevskaia , Raquel A. F. Mini , Cristiano G. Rezende , Antonio A. F. Loureiro , Geraldo R. Mateus , Jose Marcos Nogueira, Data Dissemination Using the Energy Map, Proceedings of the Second Annual Conference on Wireless On-demand Network Systems and Services (WONS'05), p.139-148, January 19-21, 2005 [doi>10.1109/WONS.2005.11]
• 20: S. Eidelman et al (61 authors) Review of Particle Physics, PHYS LETT B 592 (1-4): 1--1109, Jul 15 2004.
• 21: T. Camp, J. Boleng, V. Davies, A survey of Mobility Models in Ad Hoc Network Research, Wireless Communication & Mobile Computing (WCMC) vol2 no5 pp. 483--502, 2002.
• 22: Douglas M. Blough , Giovanni Resta , Paolo Santi, A statistical analysis of the long-run node spatial distribution in mobile ad hoc networks, Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems, September 28-28, 2002, Atlanta, Georgia, USA [doi>10.1145/570758.570765]
• 23: H. Van Dyke Parunak , Sven Brueckner, Entropy and self-organization in multi-agent systems, Proceedings of the fifth international conference on Autonomous agents, p.124-130, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.376024]
• 24: Martinez, C; Estebanez, L.; "Formalized methodology to treat Nature-Inspired Systems mathematically based on particle-dynamics physics", Proc. Adaptation in Artificial & Biological Systems AISB 2006, Bristol
• 25: S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli, Design of Embedded Systems Formal Models, Validation, and Synthesis. Proceedings of IEEE, vol85, no3, mar1997, pp. 366--390

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Wireless communication

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Design studies; Modeling techniques

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

General Terms:
Design

Keywords:
ad-hoc networks, heterogeneous, methodology, model, particles, physics, tools, ubiquitous