A State-Based Programming Model for Wireless Sensor Networks

More documents

Recommendations

Info

188 Bibliography [85] Alan Mainwaring, David Culler, Joseph Polastre, Robert Szewczyk, and John Anderson. Wireless sensor networks for habitat monitoring. In WSNA ’02: Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications, pages 88–97, New York, NY, USA, 2002. ACM Press. [86] M. Maroti, G. Simon, A. Ledeczi, and J. Sztipanovits. Shooter localization in urban terrain. Computer, 37(8):60–61, August 2004. [87] Ian W. Marshall, Christopher Roadknight, Ibiso Wokoma, and Lionel Sacks. Self-organising sensor networks. In UbiNet 2003, London, UK, September 2003. [88] Kirk Martinez, Royan Ong, and Jane Hart. Glacsweb: a sensor network for hostile environments. In Proceedings of The First IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, pages 81–87, Santa Clara, CA, USA, October 2004. [89] William P. McCartney and Nigamanth Sridhar. Abstractions for safe concurrent programming in networked embedded systems. In SenSys ’06: Proceedings of the 4th international conference on Embedded networked sensor systems, pages 167–180, New York, NY, USA, 2006. ACM Press. [90] W.M. Merrill, F. Newberg, K. Sohrabi, W. Kaiser, and G. Pottie. Collaborative networking requirements for unattended ground sensor systems. In Aerospace Conference, March 2003. [91] Gordon E. Moore. Cramming more components onto integrated circuits. Electronics, 38(8), April 1965. [92] Jogesh K. Muppala. Experience with an embedded systems software course. SIGBED Rev., 2(4):29–33, 2005. [93] Sanjiv Narayan, Frank Vahid, and Daniel D. Gajski. Translating system specifications to VHDL. In EURO-DAC ’91: Proceedings of the conference on European design automation, pages 390–394. IEEE Computer Society Press, 1991. [94] John Ousterhout. Why threads are a bad idea (for most purposes). In USENIX Winter Technical Conference, January 1996. Available from: http: //home.pacbell.net/ouster/threads.ppt. [95] Axel Poignè, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, and Reinhard Budde. The Synchronous Approach to Designing Reactive Systems. Formal Methods in System Design, 12(2):163–187, 1998. [96] R. Riem-Vis. Cold chain management using an ultra low power wireless sensor network. In WAMES 2004, Boston, USA, June 2004. [97] Hartmut Ritter, Min Tian, Thiemo Voigt, and Jochen H. Schiller. A highly flexible testbed for studies of ad-hoc network behaviour. In LCN, pages 746–752. IEEE Computer Society, 2003.
Bibliography 189 [98] Kay Römer, Christian Frank, Pedro José Marrón, and Christian Becker. Generic role assignment for wireless sensor networks. In Proceedings of the 11th ACM SIGOPS European Workshop, pages 7–12, Leuven, Belgium, September 2004. [99] Shad Roundy, Dan Steingart, Luc Frechette, Paul K. Wright, and Jan M. Rabaey. Power sources for wireless sensor networks. In Karl et al. [71], pages 1–17. [100] Kay Römer. Tracking real-world phenomena with smart dust. In Karl et al. [71], pages 28–43. [101] Kay Römer. Time Synchronization and Localization in Sensor Networks. PhD thesis, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute for Pervasive Computing, Zürich, Switzerland, May 2005. [102] Andrew Seitz, Derek Wilson, and Jennifer L. Nielsen. Testing pop-up satellite tags as a tool for identifying critical habitat for Pacific halibut (Hippoglossus stenolepis) in the Gulf of Alaska. Exxon Valdez Oil Spill Restoration Project Final Report (Restoration Project 01478), U.S. Geological Survey, Alaska Biological Science Center, Anchorage, Alaska, September 2002. [103] Jack Shandle. More for less: Stable future for 8-bit microcontrollers. TechOnLine Website, August 2004. Visited 2007-08-03. Available from: http://www.techonline.com/community/ed_resource/ feature_article/36930. [104] Alan C. Shaw. Communicating real-time state machines. IEEE Trans. Softw. Eng., 18(9):805–816, September 1992. [105] Saurabh Shukla, Nirupama Bulusu, and Sanjay Jha. Cane-toad Monitoring in Kakadu National Park Using Wireless Sensor Networks. In Network Research Workshop 2004 (18th APAN Meetings), Cairns, Australia, July 2004. [106] Frank Siegemund. Smart-its on the internet – integrating smart objects into the everyday communication infrastructure, September 2002. Available from: http://www.vs.inf.ethz.ch/publ/papers/ smartits-demo-note-siegemund.pdf. [107] Frank Siegemund, Christian Floerkemeier, and Harald Vogt. The value of handhelds in smart environments. In Personal and Ubiquitous Computing Journal. Springer-Verlag, October 2004. [108] Abraham Silberschatz, Peter Baer Galvin, and Greg Gagne. Operating System Concepts. John Wiley & Sons, Inc., New York, NY, USA, 6th edition, 2001. [109] Gyula Simon, Miklós Marót, Ákos Lédeczi, György Balogh, Branislav Kusy, András Nádas, Gábor Pap, János Sallai, and Ken Frampton. Sensor network-based countersniper system. In SenSys ’04 [4], pages 1–12.
Page 1:
Diss. ETH Nr. 17397 A State-Based P
Page 4 and 5:
ii The main idea behind OSM is to e
Page 6 and 7:
iv These, dass ein solches zustands
Page 8 and 9:
vi Contents 2.4.3 Wireless Sensor N
Page 10 and 11:
viii Contents 8.2.4 Program State M
Page 12 and 13:
2 Chapter 1. Introduction This make
Page 14 and 15:
4 Chapter 1. Introduction for senso
Page 16 and 17:
6 Chapter 1. Introduction programmi
Page 18 and 19:
8 Chapter 2. Wireless Sensor Networ
Page 20 and 21:
10 Chapter 2. Wireless Sensor Netwo
Page 22 and 23:
Page 24 and 25:
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33:
Page 34 and 35:
Page 36 and 37:
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
32 Chapter 3. Programming and Runti
Page 44 and 45:
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
62 Chapter 4. Event-driven Programm
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
84 Chapter 5. The Object-State Mode
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
100 Chapter 6. Implementation When
Page 112 and 113:
102 Chapter 6. Implementation speci
Page 114 and 115:
104 Chapter 6. Implementation Progr
Page 116 and 117:
106 Chapter 6. Implementation state
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
112 Chapter 6. Implementation runti
Page 124 and 125:
114 Chapter 6. Implementation PROG_
Page 126 and 127:
116 Chapter 6. Implementation the s
Page 128 and 129:
118 Chapter 6. Implementation the i
Page 130 and 131:
120 Chapter 7. State-based Programm
Page 132 and 133:
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Page 144 and 145:
Page 146 and 147:
Page 148 and 149: 138 Chapter 7. State-based Programm
Page 150 and 151: 140 Chapter 8. Related Work guage.
Page 152 and 153: 142 Chapter 8. Related Work Control
Page 154 and 155: 144 Chapter 8. Related Work and out
Page 156 and 157: 146 Chapter 8. Related Work applica
Page 158 and 159: 148 Chapter 8. Related Work low-lev
Page 160 and 161: 150 Chapter 8. Related Work
Page 162 and 163: 152 Chapter 9. Conclusions and Futu
Page 168 and 169: 158 Appendix A. OSM Code Generation
Page 186 and 187: 176 Appendix B. Implementations of
Page 192 and 193: 182 Bibliography [11] Charles Andr
Page 194 and 195: 184 Bibliography [36] Cormac Duffy,
Page 196 and 197: 186 Bibliography [60] Jason Lester
Page 200 and 201: 190 Bibliography [110] Karsten Stre
Page 202 and 203: 192 Bibliography
show all

A State-Based Programming Model for Wireless Sensor Networks

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?