Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

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

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

Abstract

The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded cross-platform embedded operating system for wireless sensor networks. As sensor networks accommodate increasingly complex tasks such as compression/aggregation and signal processing, preemptive multithreading in the MANTIS sensor OS (MOS) enables micro sensor nodes to natively interleave complex tasks with time-sensitive tasks, thereby mitigating the bounded buffer producer-consumer problem. To achieve memory efficiency, MOS is implemented in a lightweight RAM footprint that fits in less than 500 bytes of memory, including kernel, scheduler, and network stack. To achieve energy efficiency, the MOS power-efficient scheduler sleeps the microcontroller after all active threads have called the MOS sleep() function, reducing current consumption to the μA range. A key MOS design feature is flexibility in the form of cross-platform support and testing across PCs, PDAs, and different micro sensor platforms. Another key MOS design feature is support for remote management of in-situ sensors via dynamic reprogramming and remote login.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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. 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.

  2. 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).

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

  4. 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.

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

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

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

    MathSciNet  Google Scholar 

  8. 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).

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

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

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

  12. 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.

    Google Scholar 

  13. 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).

  14. 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.

  15. 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).

  16. 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).

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

  18. 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.

  19. 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.

  20. 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.

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

  22. 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.

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

  24. 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.

    Google Scholar 

  25. 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).

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

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

  28. 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).

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

    Google Scholar 

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

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

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

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

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

  35. 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).

  36. 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.

  37. 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.

  38. 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.

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

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

  41. 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.

  42. 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.

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

  44. 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).

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

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

  47. 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).

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

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

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

  51. 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.

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

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

  54. 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.

    Google Scholar 

  55. 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).

  56. 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).

  57. 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).

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

  59. 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).

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Colorado at Boulder, Campus Box 430, Boulder, CO, 80309-0430

    Shah Bhatti, James Carlson, Hui Dai, Jing Deng, Jeff Rose, Anmol Sheth, Brian Shucker, Charles Gruenwald, Adam Torgerson & Richard Han

Authors
  1. Shah Bhatti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James Carlson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hui Dai
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jing Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jeff Rose
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Anmol Sheth
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Brian Shucker
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Charles Gruenwald
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Adam Torgerson
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Richard Han
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Richard Han.

Additional information

Shah Bhatti is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He also works as a Senior Program Manager in the R&D Lab for Imaging and Printing Group (IPG) at Hewlett Packard in Boise, Idaho. He has participated as a panelist in workshops on Integrated Architecture for Manufacturing and Component-Based Software Engineering, at IJCAI ‘89 and ICSE ‘98, respectively. Hewlett Packard has filed several patents on his behalf. He received an MSCS and an MBA from the University of Colorado, an MSCE from NTU and a BSCS from Wichita State University. His research interests include power management, operating system design and efficient models for wireless sensor networks.

James Carlson is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He received his Bachelor’s degree from Hampshire College in 1997. His research is supported by the BP Visualization Center at CU-Boulder. His research interests include computer graphics, 3D visualization, and sensor-enabled computer-human user interfaces.

Hui Dai is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He received his B.E. from the University of Science and Technology, China in 2000, and received has M.S. in Computer Science from the University of Colorado at Boulder in 2002. He has been co-leading the development of the MANTIS OS. His research interests include system design for wireless sensor networks, time synchronization, distributed systems and mobile computing.

Jing Deng is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He received his B.E. from Univeristy of Electronic Science and Technology of China in 1993, and his M.E from Institute of Computing Technology, Chinese Academy of Science in 1996. He has published four papers on security wireless sensor networks and is preparing a book chapter on security, privacy, and fault tolerance in sensor networks. His research interests include wireless security, secure network routing, and security for sensor networks.

Jeff Rose is an M.S. student in Computer Science at the University of Colorado at Boulder. He received his B.S. in Computer Science from the University of Colorado at Boulder in 2003. He has been co-leading the development of the MANTIS operating system. His research interests include data-driven routing in sensor networks.

Anmol Sheth is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He received his B.S. in Computer Science from the University of Pune, India in 2001. His research interests include MAC layer protocol design, energy-efficient wireless communication, and adapting communications to mobility.

Brian Shucker is a Ph.D. student in Computer Science at the University of Colorado at Boulder. He received his B.S. in Computer Science from the University of Arizona in 2001, and his M.S. in Computer Science from the University of Colorado at Boulder in December 2003. He has been co-leading the development of the MANTIS operating system. His research interests in wireless sensor networks include operating systems design, communication networking, and robotic sensor networks.

Charles Gruenwald is an undergraduate student in Computer Science at the University of Colorado at Boulder. He joined the MANTIS research group in Fall 2003 as an undergraduate researcher.

Adam Torgerson is an undergraduate student in Computer Science at the University of Colorado at Boulder. He joined the MANTIS research group in Fall 2003 as an undergraduate researcher.

Richard Han joined the Department of Computer Science at the University of Colorado at Boulder in August 2001 as an Assistant Professor, http://www.cs.colorado.edu/rhan Prof. Han leads the MANTIS wireless sensor networking research project, http://mantis.cs.colorado.edu. He has served on numerous technical program committees for conferences and workshops in the field of wireless sensor networks. He received a National Science Foundation CAREER Award in 2002 and IBM Faculty Awards in 2002 and 2003. He was a Research Staff Member at IBM’s Thomas J. Watson Research Center in Hawthorne, New York from 1997-2001. He received his Ph.D. in Electrical Engineering from the University of California at Berkeley in 1997, and his B.S. in Electrical Engineering with distinction from Stanford University in 1989. His research interests include systems design for sensor networks, secure wireless sensor networks, wireless networking, and sensor-enabled user interfaces.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bhatti, S., Carlson, J., Dai, H. et al. MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms. Mobile Netw Appl 10, 563–579 (2005). https://doi.org/10.1007/s11036-005-1567-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11036-005-1567-8

Keywords

Search

Navigation