MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms

H. Abrach, S. Bhatti, J. Carlson, H. Dai, J. Rose, A. Sheth, B. Shucker, J. Deng and R. Han, “MANTIS: System Support for MultimodAl NeTworks of In-situ Sensors, in: 2nd ACM International Workshop on Wireless Sensor Networks and Applications (WSNA) (2003) pp. 50–59.

A. Adya, J. Howell, M. Theimer, W.J. Bolosky and J.R. Douceur, Cooperative Task Management Without Manual Stack Management, in: Proceedings of the 2002 Usenix ATC, (June 2002).

I.F. Akyildiz, W. Su, Y. Sankarasubramaniam and E. Cayirci, A Survey on Sensor Networks, IEEE Communications Magazine, (August 2002).

D. Albonesi, R. Balasubramonian, S. Dropsho, S. Dwarkadas, E. Friedman, M. Huang, V. Kursun, G. Magklis, M. Scott, G. Semeraro, P. Bose, A. Buyuktosunoglu, P. Cook, and S. Shuster, Dynamically Tuning Processor resources with Adaptive processing, IEEE Computer (December 2003) 49–58.

Atmel AVR 8-bit RISC processor, http://www.atmel.com/products/AVR

AVRX Real-Time Multitasking Kernel for the Atmel AVR series of micro controllers, http://www.barello.net/avrx/index.htm .

A. Bookstein and S.T. Klein, Is Huffman coding dead?. Computing 50 (1993) 279–296.

J. Carlson, R. Han, S. Lao, C. Narayan and S. Sanghani, Rapid Prototyping Of Mobile Input Devices Using Wireless Sensor Nodes, in: 5th IEEE Workshop On Mobile Computing Systems and Applications (WMCSA) (2003).

J.D. Case, M. Fedor, M.L. Schostall and C. Davin, RFC 1157: Simple network management protocol (SNMP). RFC, IETF, (May 1990).

Crossbow, http://www.xbow.com/ .

Crossbow motes, http://www.xbow.com .

H. Dai and R. Han, TSync: A Lightweight Bidirectional Time Synchronization Service for Wireless Sensor Networks, ACM SIGMOBILE Mobile Computing and Communications Review, Special Issue on Wireless PAN and Sensor Networks 8(1) (January 2004) pp. 125–139.

B. Deb, S. Bhatnagar and B. Nath, A Topology Discovery Algorithm for Sensor Networks with Applications to Network Management, DCS Technical Report DCS-TR-441, Rutgers University (May 2001).

J. Deng, R. Han and S. Mishra, A Performance Evaluation of Intrusion-Tolerant Routing in Wireless Sensor Networks, IEEE 2nd International Workshop on Information Processing in Sensor Networks (IPSN ‘03), (2003), Palo Alto, California, pp. 349–364.

J. Elson and D. Estrin, Time Synchronization for Wireless Sensor Networks, International Parallel and Distributed Processing Symposium (IPDPS), Workshop on Wireless and Mobile Computing, (April 2001).

J. Elson and K. Rmer, Wireless Sensor Networks: A New Regime for Time Synchronization, in: proceedings of the First Workshop on Hot Topics In Networks (HotNets-I), Princeton, New Jersey, October 28–29 (2002).

J. Elson, L. Girod and D. Estrin, Fine-Grained Network Time Synchronization using Reference Broadcasts, in OSDI 2002, Boston, MA. (December 2002).

J. Elson, S. Bien, N. Busek, V. Bychkovskiy, A. Cerpa, D. Ganesan, L. Girod, B. Greenstein, T. Schoellhammer, T. Stathopoulos and D. Estrin, EmStar: An Environment for Developing Wireless Embedded Systems Software, CENS Technical Report 0009, (March 24) 2003.

D. Ely, S. Savage, and D. Wetherall, Alpine: A User-level Infrastructure For Network Protocol Development,” in: Proc. 3rd USENIX Symposium on Internet Technologies and Systems (March 2001) pp. 171–183.

D.R. Engler, M. Frans Kaashoek and J. O’Toole Jr., Exokernel: An Operating System Architecture for Application-level Resource Management, Symposium on Operating Systems Principles (SOSP), (December 1995) 251–266.

S. Ganeriwal, R. Kumar, S. Adlakha and M. Srivastava, Network-wide Time Synchronization in Sensor Networks, Technical report, UCLA, Dept of Electrical Engineering (2002).

L. Girod, J. Elson, A. Cerpa, T. Stathopoulos, N. Ramanathan and D. Estrin, EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks, to appear in the Proceedings of USENIX 04.

D. Grunwald, C.B. Morrey III, P. Levis, M. Neufeld and K. Farkas, Policies for Dynamic Clock Scheduling, Operating Systems Design and Implementation (2000).

W. Hamburgen, D. Wallach, M. Viredaz, L. Brakmo, C. Waldspurger, J. Bartlett, T. Mann and K. Farkas, Itsy: Stretching the Bounds of Mobile Computing, IEEE Computer 34(4) (April 2001) 28–36.

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler and K. Pister, System Architecture Directions for Networked Sensors. in: Proceedings of Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), (November 2000).

C. Intanagonwiwat, R. Govindan and D. Estrin, Directed Diffusion, ACM MobiCom (2000) pp. 56–67.

H.K. Jerry Chu, Zero-Copy TCP in Solaris, in: Proceedings of the USENIX 1996 Annual Technical Conference, San Diego, California (January 1996).

P. Juang, H. Oki, Y. Wang, M. Martonosi, L. Peh and D. Rubenstein, Energy-efficient Computing For Wildlife Tracking: Design Tradeoffs and Early Experiences With Zebranet, In ASPLOS, San Jose, CA, (October 2002).

J. Kumagi, The Secret Life of Birds, IEEE Spectrum 41(4) (April 2004) 42–49.

J. Labrosse, MicroC/OS-II: The Real-Time Kernel, 2nd edition, CMP Books, (November 1998).

H.C. Lauer and R.M. Needham, On the Duality of Operating System Structures, in Second International Symposium on Operating Systems, IR1A (October 1978).

J. Larus and M. Parkes, Using Cohort Scheduling to Enhance Server Performance, Technical Report MSR-TR-2001-39, Microsoft Research, (March 2001).

P. Levis and N. Lee, Simulating Tinyos Networks. http://www.cs.berkeley.edu/pal/research/tossim.html .

P. Levis and D. Culler Mate, A Virtual Machine for Tiny Networked Sensors, ASPLOS, (Oct. 2002).

M. Leopold, M.B. Dydensborg and P. Bonnet, Bluetooth and Sensor Networks: A Reality Check. 1st ACM conference on Sensor Systems, (Sensys’03) LA, CA, (November 2003).

C. Lefurgy, K. Rajamani, F. Rawson, W. Felter, M. Kistler and T. Weller, Energy Management for Commercial Servers, IEEE Computer, (December 2003) pp. 39–48.

J. Luo and N.K. Jha, Battery-Aware Static Scheduling for Distributed Real Time Embedded Systems, in: Proc. 38th Design Automation Conference, ACM Press, (2001) pp. 444–449.

A. Mainwaring, J. Polastre, R. Szewczyk D. Culler and J. Anderson, Wireless Sensor Networks for Habitat Monitoring, First ACM Workshop on Wireless Sensor Networks and Applications (WSNA) (2002) pp. 88–97.

F. Martin, B. Mikhak and B. Silverman, MetaCricket: A Designer’s Kit For Making Computational Devices, IBM Systems Journal 39(3/4) (2000).

F. Martin, B. Mikhak and B. Silverman, MetaCricket: A designer’s kit for making computational devices, IBM Systems Journal 39(3/4) 2000.

R. Min, M. Bhardwaj, S. Cho et al., An Architecture for a Power-Aware Distributed Microsensor Node, in: IEEE Workshop on Signal Proc. Systems (Oct 2000) pp. 581590.

Ning Xu, Implementation of Data Compression and FFT on TinyOS, Embedded Networks Laboratory, Computer Science Dept. USC. Los Angeles, http://enl.usc.edu/~ningxu/papers/lzfft.pdf .

J.K. Ousterhout, Why Threads Are A Bad Idea (for most purposes), Presentation given at the 1996 Usenix Annual Technical Conference, (January 1996).

S. Park, A. Savvides and M.B. Srivastava, SensorSim: A Simulation Framework for Sensor Networks, in: the Proceedings of MSWiM 2000, Boston, MA, August 11 (2000).

L.F. Perrone and D.M. Nicol, A Scalable Simulator for TinyOS Applications, Winter Simulation Conference, (2002).

Portable Operating System Interface(POSIX)—Part 1: System Application Programming Interface (API)[C Language] ISO/IEC 9945-1:1996, IEEE.

N.B. Priyantha, A. Chakraborty and H. Balakrishnan, The Cricket Location-Support System, in: Proc. of the Sixth Annual ACM International Conference on Mobile Computing and Networking (MOBICOM), (August 2000).

R.L. Rivest, the RC5 Encryption Algorithm, in: Proceedings of the 1994 Leuven Workshop on Fast Software Encryption, pp. 86–96.

Single chip ultra low power RF transceiver http://www.chipcon.com/files/CC1000_Data_Sheet_2_1.pdf , 2001.

Simple Network Time Protocol, (SNTP) version 4. IETF RFC 2030.

A. Sheth, B. Shucker and R. Han, VLM2: A Very Lightweight Mobile Multicast System for Wireless Sensor Networks, IEEE Wireless Communications and Networking Conference (WCNC) (2003), New Orleans, Louisiana.

The Smart-Its project, http://www.smart-its.org/ .

The Eyes project, http://eyes.eu.org/ .

S. Tilak, N.B. Abu-Ghazaleh and W. Heinzelman, A Taxonomy of Wireless Micro-sensor Network Models, ACM SIGMOBILE Mobile Computing and Communications Review 6(2) (2002) 28–36.

R. von Behren, J. Condit and E. Brewer, Why Events Are A Bad Idea (for High-concurrency Servers), 9th Workshop on Hot Topics in Operating Systems (HotOS IX) (2003).

E. Welsh, W. Fish and P. Frantz, GNOMES: A Testbed for Low-Power Heterogeneous Wireless Sensor Networks, IEEE International Symposium on Circuits and Systems (ISCAS), Bangkok, Thailand, (2003).

Wei Ye, John Heidemann and Deborah Estrin, An Energy-Efficient MAC Protocol for Wireless Sensor Networks, in: Proceedings INFOCOM, New York, NY, USA, (June 2002).

WINE, http://www.winehq.com/ .

J. Zhao, R. Govindan and D. Estrin, Computing Aggregates for Monitoring Wireless Sensor Networks, First IEEE International Workshop on Sensor Network Protocols and Applications, Anchorage, AK. (May 2003).