Formal specification and analysis of performance variation in sensor network diffusion protocols

ACM MSWiM 2004 - Proceedings of the Seventh ACM Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems

Volumn , Issue , 2004, Pages 170-173

  Nair, Sule ^a   Cardell Oliver, Rachel ^a  

^a UNIVERSITY OF WESTERN AUSTRALIA   (Australia)

Author keywords

Directed Diffusion; Formal Specification; Sensor Network; Temporal Logic of Actions

Indexed keywords

DIFFUSION; NETWORK PROTOCOLS; SENSORS; TREES (MATHEMATICS);

DIRECTED DIFFUSION; FORMAL SPECIFICATION; SENSOR NETWORKS; TEMPORAL LOGIC OF ACTIONS;

COMPUTER NETWORKS;

EID: 27644496465     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1023663.1023694     Document Type: Conference Paper

References (8)

1. D. Cavin, Y. Sasson, and A. Schiper. On the Accuracy of MANET Simulators. In Principles of Mobile Computing 2002, Toulouse, France, 2002.
2. J. Heidemann, F. Silva, and D. Estrin. Matching Data Dissemination Algorithms to Application Requirements. In Proceedings of the First International Conference on Embedded Networked Sensor Systems, pages 218-229. ACM Press, 2003.
3. C. Intanagonwiwat, R. Govindan, and D. Estrin. Directed Diffusion: A Scalable and Robust Communication Paradigm for Sensor Networks. In Proceedings of the Sixth Annual International Conference on Mobile Computing and Networks, 2000.
4. B. Krishnamachari, D. Estrin, and S. Wicker. Modelling Data-centric Routing in Wireless Sensor Networks. In Proceedings of IEEE Infocom 2002, 2002.
5. L. Lamport. Specifying Concurrent Systems with TLA+. In M.Broy and R.Steinbruecken, editors, Calculational System Design, number 173 in Series F: Computer and Systems Sciences, pages 183-247, Amsterdam, 1999. IOS Press.
6. P. Levis, N. Lee, M. Welsh, and D. Culler. TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In Proc. Second ACM International Workshop on Wireless Sensor Networks and Applications, 2003.
7. S. Nair and R. Cardell-Oliver. Analysis of diffusion in sensor networks, July 2004. [Online] http://www.csse.uwa.edu.au/~sule/diffusion.
8. V. Naoumov and T. Gross. Simulation of Large Ad Hoc Networks. In Proc. 6th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 03), 2003.