Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

There is an increasing tendency in sensor networks (and related networked embedded systems) to push more complexity and 'intelligence' into end-nodes. This in turn leads to a growing need to support isolation between the software modules in a node. In conventional systems, isolation is achieved using standard memory management hardware; but this is not a cost-effective or energy-efficient solution for small, cheap embedded nodes. We therefore propose a software-based solution that promises isolation in a significantly lighter-weight manner than existing software-based mechanisms. This is achieved by frontloading effort into offline compilation phases and leaving only a small amount of work to be done at load time and run time.

REFERENCES

• 1: B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
• 2: Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham, Efficient software-based fault isolation, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.203-216, December 05-08, 1993, Asheville, North Carolina, United States
• 3: George C. Necula , Peter Lee, Safe kernel extensions without run-time checking, Proceedings of the second USENIX symposium on Operating systems design and implementation, p.229-243, October 29-November 01, 1996, Seattle, Washington, United States
• 4: Philip Levis , David Culler, Maté: a tiny virtual machine for sensor networks, Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, October 05-09, 2002, San Jose, California
• 5: Lin Gu , John A. Stankovic, t-kernel: providing reliable OS support to wireless sensor networks, Proceedings of the 4th international conference on Embedded networked sensor systems, October 31-November 03, 2006, Boulder, Colorado, USA [doi>10.1145/1182807.1182809]
• 6: Ram Kumar , Eddie Kohler , Mani Srivastava, Harbor: software-based memory protection for sensor nodes, Proceedings of the 6th international conference on Information processing in sensor networks, April 25-27, 2007, Cambridge, Massachusetts, USA [doi>10.1145/1236360.1236404]
• 7: MSP 430 specification, http://focus.ti.com/mcu/docs/.
• 8: Vikram Adve , Chris Lattner , Michael Brukman , Anand Shukla , Brian Gaeke, LLVA: A Low-level Virtual Instruction Set Architecture, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.205, December 03-05, 2003
• 9: David Gay , Alex Aiken, Memory management with explicit regions, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.313-323, June 17-19, 1998, Montreal, Quebec, Canada
• 10: Dan Grossman , Greg Morrisett , Trevor Jim , Michael Hicks , Yanling Wang , James Cheney, Region-based memory management in cyclone, Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, June 17-19, 2002, Berlin, Germany
• 11: Mads Tofte , Jean-Pierre Talpin, Region-based memory management, Information and Computation, v.132 n.2, p.109-176, Feb. 1, 1997 [doi>10.1006/inco.1996.2613]
• 12: Ryan Newton , Greg Morrisett , Matt Welsh, The regiment macroprogramming system, Proceedings of the 6th international conference on Information processing in sensor networks, April 25-27, 2007, Cambridge, Massachusetts, USA [doi>10.1145/1236360.1236422]
• 13: Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu, Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications, Proceedings of the 25th IEEE International Conference on Distributed Computing Systems, p.653-662, June 06-10, 2005 [doi>10.1109/ICDCS.2005.63]
• 14: Jason Hill , Robert Szewczyk , Alec Woo , Seth Hollar , David Culler , Kristofer Pister, System architecture directions for networked sensors, Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, p.93-104, November 2000, Cambridge, Massachusetts, United States
• 15: Jan Steffan , Ludger Fiege , Mariano Cilia , Alejandro Buchmann, Towards Multi-Purpose Wireless Sensor Networks, Proceedings of the 2005 Systems Communications, p.336-341, August 14-17, 2005 [doi>10.1109/ICW.2005.77]
• 16: ATmega 128L specification, http://www.atmel.com
• 17: Nathan Cooprider , Will Archer , Eric Eide , David Gay , John Regehr, Efficient memory safety for TinyOS, Proceedings of the 5th international conference on Embedded networked sensor systems, November 06-09, 2007, Sydney, Australia [doi>10.1145/1322263.1322283]

INDEX TERMS

General Terms:
Languages, Reliability, Security, Verification

Keywords:
MMU less architecture, isolation, memory management, memory protection, sensor networks