Skip to main content
SpringerLink
Log in

Platform based design for wireless sensor networks

  • Published:
Mobile Networks and Applications Aims and scope Submit manuscript

Abstract

We present a novel methodology for the design of interoperable Wireless Sensor Networks (WSN). The methodology is based on the principles of Platform Based Design (PBD). PBD is a meet-in-the-middle approach where the top-down refinement of a design specification meets with bottom-up characterizations of possible alternative implementations. The design space exploration is performed based on estimates of the performance of the candidate solutions so that the overall design process is considerably sped up as expensive re-designs are avoided and design re-use is favored. PBD is based on the rigorous definition of appropriate abstraction layers that are effective in shielding the drudgery of implementation details while allowing the important information to be taken into account. If each layer is formally specified, formal verification, refinement and synthesis are all possible. Yet while the overarching approach is general, the layers of abstraction and the accompanying tools can be (and in general, are) application dependent.

In this paper, we present three abstraction layers for WSNs and the tools that “bridge” these layers. We present a case study that show how the methodology covers all the aspects of the design process, from conceptual description to implementation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. D. Snoonian, Smart buildings, IEEE Spectrum (Sept.2003) 18–23.

  2. J. Rabaey, E. Arens, C. Federspiel, A. Gadgil, D. Messerschmitt, W. Nazaroff, K. Pister, S. Oren and P. Varaiya, Smart energy distribution and consumption information technology as an enabling force, white paper, http://citris.berkeley.edu/SmartEnergy/SmartEnergy.html.

  3. G. Huang, Casting the wire, Technology Review July/August (2003) 50–56.

  4. F. Boekhorst, Ambient intelligence: The next paradigm for consumer electronics, in: Proceedings IEEE ISSCC 2002 (San Francisco, February 2002).

  5. IEEE 802.15 WPAN Task Group 4 (TG4), http: //www.ieee802.org/15/pub/TG4.html

  6. The Zigbee Alliance, http://www.zigbee.org

  7. M. Sgroi, Adam Wolisz, Alberto Sangiovanni-Vincentelli and Jan M. Rabaey, A service-based universal application interface for ad-hoc wireless sensor networks whitepaper, U.C. Berkeley, (2004).

  8. A. Sangiovanni-Vincentelli and A. Ferrari, System design—Traditional concepts and new paradigms, in: Proceedings of ICCD 99, Austin, (October 1999), pp. 2–12.

  9. A.L. Sangiovanni-Vincentelli, L. Carloni, F. De Bernardinis and M. Sgroi, Benefits and challenges for platform-based design, in: Proceedings of the Design Automation Conference (DAC’04) San Diego, CA, USA, (June 2004).

  10. S. Madden, The design and evaluation of a query processing architecture for sensor networks, Ph.D. Dissertation, UC Berkeley (2003).

  11. W. Adije-Winoto, E. Schwartz, H. Balakrishnan and J. Lilley, The design and implementation of an intentional naming system, in: Proceedings of Symposium on Operating Systems Principles (Dec. 1999).

  12. 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 (MobiCom 2000), Boston, Massachusetts, (August 2000).

  13. P. V. Mockapetris and K. Dunlap, Development of the Domain Name System, in: Proceedings of SIGCOMM’88 (Stanford, CA, 1988).

  14. D. Mills, Internet time synchronization: The network time protocol, in: Global States and Times in Distributed Systems IEEE Computer Society Press, (1994).

  15. IEEE 1452.2, Standard for a smart transducer interface for sensors and actuators–-transducer to microprocessor communication protocols and transducer electronic data sheet (TEDS) formats, IEEE (1997).

  16. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer and D. Culler, The nesC language: A holistic approach to networked embedded systems, in: Proceedings of Programming Language Design and Implementation (PLDI) 2003 (June 2003).

  17. P. Levis, N. Lee, M. Weksh and D. Culler, TOSSIM: Accurate and scalable simulation of entire TinyOS application, SENSYS 03 (2003).

  18. J. Hill and D. Culler, Mica: A wireless platform for deeply embedded networks, IEEE Micro 22(6) (2002) 12–24.

    Google Scholar 

  19. A. Varga, The OMNeT++ discrete event simulation system, in: European Simulation Multiconference (June 2001).

  20. P. Baldwin, S. Kohli, E.A. Lee, X. Liu and Y. Zhao, Visualsense: Visual modeling for wireless and sensor network systems, UCB ERL Memorandum UCB/ERL M04/8 (April 23, 2004).

  21. http://ptolemy.eecs.berkeley.edu

  22. Y. Yu, B. Hong and V.K. Prasanna, Communication models for algorithm design in wireless sensor networks, IPDPS’05 (2005).

  23. A. Bakshi and V.K. Prasanna, Algorithm design and synthesis for wireless sensor networks, ICPP’04 (2004).

  24. A. Bonivento, C. Fischione and A. Sangiovanni-Vincentelli, Randomized protocol stack for ubiquitous networks in indoor environment, in: CCNC (2006).

  25. J. Rabaey et al., PicoRadios for wirless sensor networks: The next challenge in ultra-low-power design, in: ISSCC 2002, (Feb. 2002).

  26. J. Kahn, R. Katz and K. Pister, Next century challenges: Mobile networking for smart dust, MobiCom (1999).

  27. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone and A. Sangiovanni-Vincentelli, Metropolis: An integrated electronic system design environment, [Journal Paper] Computer 36, (4) (2003) pp. 45–52 Publisher: IEEE Comput. Soc, USA.

  28. J.R. Burch, R. Passerone and A.L. Sangiovanni-Vincentelli, Using multiple levels of abstractions, in: Embedded Software Design Proceedings of the second International Conference on Application of Concurrency to System Design (June 2001).

  29. G. Kahn, The semantics of a simple language for parallel programming, in: Proc. of the IFIP Congress 74 North-Holland Pub, (1974).

  30. G. Kahn and D.B. MacQueen, Coroutines and networks of parallel processes,in B. Gilchrist (ed.), Information Processing 77,North-Holland Publishing Co., (1977).

  31. H.M. Taylor and S. Karlin, An Introduction to Stochastic Modeling, Third Edition Academic Press, (1998).

  32. E.A. Lee and A. Sangiovanni-Vincentelli, A framework for comparing models of computation, IEEE Transactions on CAD 17(12) (1998).

  33. J. Misra, Distributed discrete-event simulation, ACM Computing Surveys 18(1) (1986) 39–65.

    Google Scholar 

  34. A. Bonivento, L.P. Carloni and A. Sangiovanni-Vincentelli, Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks, in: Proc. of EMSOFT 2005 (Jersey City, NJ, USA, Sept. 2005).

  35. A. Bonivento, C. Fischione, A. Sangiovanni-Vincentelli, F. Graziosi and F. Santucci, SERAN: A semi random protocol solution for clustered wireless sensor networks, To appear in: Proc. of MASS 2005 Washington D.C., USA, (Nov. 2005).

  36. Wei Ye, John Heidemann and Deborah Estrin, Medium access control with coordinated adaptive sleeping for wireless sensor networks, IEEE/ACM Transactions on Networking 12(3) (2004) 493–506.

  37. J. Polastre, J. Hill and D. Culler, Versatile low power media access for wireless sensor networks, Sensys (2004).

  38. T.S. Rappaport, Wireless Communications (Prentice Hall, Upper Saddle River NJ, 1996).

Download references

Author information

Authors and Affiliations

  1. University of California, Berkeley

    Alvise Bonivento & Alberto Sangiovanni-Vincentelli

  2. Columbia University, Columbia

    Luca P. Carloni

Authors
  1. Alvise Bonivento
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luca P. Carloni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alvise Bonivento.

Additional information

Alvise Bonivento is graduate student at the department of Electrical Engineering and Computer Science at the University of California at Berkeley. He holds a Laurea degree from the University of Padova in Telecommunication Engineering (2002) and a Master of Science in Engineering from the University of California at Berkeley (2004). His research interest is in communication protocols for embedded systems with emphasis on system level design and protocol synthesis for wireless embedded networks and wireless industrial networks. He is coauthor of several technical papers on major communication and embedded systems conferences.

Luca Carloni is an Assistant Professor of Computer Science at Columbia University in the City of New York. He holds a Laurea Degree Summa cum Laude in Electronics Engineering from the University of Bologna, Italy, a Master of Science in Engineering from the University of California at Berkeley, and a Ph.D. in Electrical Engineering and Computer Sciences from the University of California at Berkeley. At Berkeley Luca was the 2002 recipient of the Demetri Angelakos Memorial Achievement Award in recognition of altruistic attitude towards fellow graduate students. His research interests are in the fields of design technologies for electronic systems (with emphasis on component reusability, communication protocols, synchronization mechanisms, and low-energy architectures), design methodologies for fault-tolerant deployment of embedded software on heterogeneous and distributed platforms, computer architecture, integrated circuits, and combinatorial optimization. Luca coauthored over thirty refereed papers and holds one patent.

Alberto Sangiovanni Vincentelli holds the Buttner Chair of Electrical Engineering and Computer Sciences at the University of California at Berkeley. He was a co-founder of Cadence and Synopsys, the two leading companies in the area of Electronic Design Automation. He is the Chief Technology Adviser of Cadence. He is a member of the Board of Directors of Cadence, UPEK, a company he helped spinning off from ST Microelectronics, Sonics, Gradient and Accent, an ST Microelectronics-Cadence joint venture he helped founding. He is a member of the HP Strategic Technology Advisory Board and of the Science and Technology Advisory Board of General Motors. He consulted for many companies including Bell Labs, IBM, Intel, United Technology, COMAU, Magneti Marelli, Pirelli, BMW, Daimler-Chrysler, Fujitsu, Kawasaki Steel, Sony, and Hitachi. He is the founder and Scientific Director of PARADES, a European Group of Economic Interest supported by Cadence and ST Microelectronics. He is a member of the High-Level Group and of the Steering Committee of the EU Artemis Technology Platform. In 1981, he received the Distinguished Teaching Award of the University of California. He received the worldwide 1995 Graduate Teaching Award of the IEEE for “inspirational teaching of graduate students.” In 2002, he was the recipient of the Aristotle Award of the Semiconductor Research Corporation. In 2001, he was given the prestigious Kaufman Award of the Electronic Design Automation Council for pioneering contributions to EDA. He is an author of over 700 papers and 15 books in the area of design tools and methodologies, large-scale systems, embedded controllers, hybrid systems and innovation. Dr. Sangiovanni-Vincentelli has been a Fellow of the IEEE since 1982 and a Member of the National Academy of Engineering since 1998.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bonivento, A., Carloni, L.P. & Sangiovanni-Vincentelli, A. Platform based design for wireless sensor networks. Mobile Netw Appl 11, 469–485 (2006). https://doi.org/10.1007/s11036-006-7194-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11036-006-7194-1

Keywords

Search

Navigation