Macroprogramming heterogeneous sensor networks using cosmos

ABSTRACT

In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming specifies aggregate system behavior, as opposed to device-specific programs that code distributed behavior using explicit messaging. COSMOS is comprised of a macroprogramming language, mPL, and an operating system, mOS. mPL macroprograms are statically verifiable compositions of reusable user-specified, or system supported functional components. The mOS node/network operating system provides component management and a lean execution environment for mPL programs in heterogeneous resource-constrained sensor networks. It provides runtime application instantiation, with over-the-air reprogramming of the network. COSMOS facilitates composition of complex real-world applications that are robust, scalable and adaptive in dynamic data-driven sensor network environments. An important and novel aspect of COSMOS is the ability to easily extend its component basis library to add rich macroprogramming abstractions to mPL, tailored to domain and resource constraints, without modifications to the OS. Applications built on COSMOS are currently in use at the Bowen Labs for Structural Engineering, in Purdue University, for high-fidelity structural monitoring. We present a detailed description of the COSMOS architecture, its various components, and a comprehensive experimental evaluation using macro- and micro- benchmarks to demonstrate performance characteristics of COSMOS.

References

1. Crossbow Inc. http://www.xbow.com.
2. Borgerding, M. Kiss FFT. http://sourceforge.net/projects/kissfft/.
3. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., and Culler, D. The nesC language: A holistic approach to networked embedded systems. In Proc. of PLDI '03 (June 2003).
4. Gibbons, P. B., Karp, B., Ke, Y., Nath, S., and Seshan, S. Irisnet: An architecture for a world-wide sensor web. IEEE Pervasive Comp. 2, 4 (Oct 2003).
5. Han, C.-C., Rengaswamy, R. K., Shea, R., Kohler, E., and Srivastava, M. SOS: a dynamic operating system for sensor networks. In Proc. of MobiSys '05 (June 2005).
6. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., and Pister, K. System architecture directions for networked sensors. In Proc. of ASPLOS-IX (November 2000).
7. Hutchinson, N. C., and Peterson, L. L. The x-kernel: an architecture for implementing network protocols. IEEE Transactions on Software Engineering 17, 1 (January 1991), 64--76.
8. Kohler, E., Morris, R., Chen, B., Jannotti, J., and Kaashoek, M. F. The click modular router. ACM Transactions on Computer Systems 18, 3 (August 2000), 263--297.
9. Levis, P., Patel, N., Culler, D., and Shenker, S. Trickle: A self-regulating algorithm for code propagation and maintenance in wireless sensor networks. In Proc. of NSDI '04 (March 2004).
10. Liu, T., and Martonosi, M. Impala: a middleware system for managing autonomic, parallel sensor systems. In Proc. of PPoPP '03 (June 2003).
11. Loo, B. T., Condie, T., Hellerstein, J. M., Maniatis, P., Roscoe, T., and Stoica, I. Implementing declarative overlays. In Proc. of SOSP-20 (October 2005).
12. Madden, S., Franklin, M., Hellerstein, J., and Hong, W. TinyDB: an acquisitional query processing system for sensor networks. ACM Transactions on Database Systems 30, 1 (March 2005), 122--173.
13. Mainwaring, A., Polastre, J., Szewczyk, R., Culler, D., and Anderson, J. Wireless sensor networks for habitat monitoring. In Proc. of WSNA'04 (September 2002).
14. Meyer, B. Applying design by contract. IEEE Computer 25, 10 (October 1992), 40--51.
15. Mosberger, D., and Peterson, L. L. Making paths explicit in the Scout operating system. In Proc. of OSDI '96 (October 1996).
16. Newton, R., Arvind, and Welsh, M. Building up to macroprogramming: An intermediate language for sensor networks. In Proc. of IPSN '05 (April 2005).
17. Newton, R., and Welsh, M. Region Streams: functional macroprogramming for sensor networks. In Proc. of DMSN '04 (August 2004).
18. P. Levis Et. al. Maté ASVM. http://www.cs.berkeley.edu/~pal/mate-web/.
19. Ratnasamy, S., Karp, B., Shenker, S., Estrin, D., Govindan, R., Yin, L., and Yu, F. Data-centric storage in sensornets with ght, a geographic hash table. Mobile Networks and Applications 8, 4 (2003).
20. Ritchie, D. M. A stream input-output system. AT&T Bell Labs Tech Journal 63, 8 (October 1984).
21. Titzer, B., Lee, D., and Palsberg, J. Avrora: Scalable sensor network simulation with precise timing. In Proc. of IPSN '05 (April 2005).
22. Wang, H., Estrin, D., and Girod, L. Preprocessing in a tiered sensor network for habitat monitoring. In Proc. of the IEEE Conf. on Acoustics, Speech, and Signal Processing (April 2003).
23. Welsh, M., Culler, D., and Brewer, E. SEDA: an architecture for well-conditioned, scalable internet services. In Proc. of SOSP-18 (October 2001).
24. Welsh, M., and Mainland, G. Programming sensor networks using abstract regions. In Proc. of NSDI '04 (March 2004).
25. Whitehouse, K., Liu, J., and Zhao, F. Semantic Streams: a framework for composable inference over sensor data. In Proc. of EWSN '06 (February 2006).
26. Whitehouse, K., Sharp, C., Brewer, E., and Culler, D. Hood: a neighborhood abstraction for sensor networks. In Proc. of MobiSys '04 (June 2004).
27. Yao, Y., and Gehrke, J. The cougar approach to in-network query processing in sensor networks. ACM SIGMOD Record 31, 3 (September 2002), 9--18.
28. Yarvis, M., Kushalnagar, N., Singh, H., Rangarajan, A., Liu, Y., and Singh, S. Exploiting heterogeneity in sensor networks. In Proc. of INFOCOM '05 (March 2005).

Index Terms

• Computer systems organization

  • Architectures

    • Distributed architectures

• Software and its engineering

  • Software creation and management

    • Designing software

  • Software notations and tools

    • General programming languages

      • Language features

  • Software organization and properties

    • Contextual software domains

      • Operating systems

    • Software system structures

      • Distributed systems organizing principles