Monitoring distributed properties in networks of tiny wireless devices

ABSTRACT

In this extended abstract we present a framework for monitoring distributed properties in networks of tiny embedded devices. The system consists of a high-level declarative language to express properties and of a flexible runtime that monitors the properties in a fully decentralized fashion.

REFERENCES

• 1: Deloitte. Intelligent cold chain. http://www.deloitte.com, 2006.
• 2: S. Hoppough. Shelf life. Forbes, April 24 2006.
• 3: Philip Levis , Neil Patel , David Culler , Scott Shenker, Trickle: a self-regulating algorithm for code propagation and maintenance in wireless sensor networks, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.2-2, March 29-31, 2004, San Francisco, California
• 4: M. Strohbach, H.-W. Gellersen, G. Kortuem, and C. Kray. Cooperative artefacts: Assessing real world situations with embedded technology. In N. Davies, E. D. Mynatt, and I. Siio, editors, Ubicomp, volume 3205 of Lecture Notes in Computer Science, pages 250--267. Springer, 2004.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

Additional Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Constraint and logic languages

General Terms:
Languages

Keywords:
property monitoring, wireless sensor networks