Lightweight module isolation for sensor nodes

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, et al., Extensibility, safety and performance in the SPIN operating system, Proc. 15th ACM SOSP, December 1995.
• 2: R. Wahbe et al., Efficient software-based fault isolation, Proc. 14th ACM SOSP, December 1993.
• 3: G. Necula et al., Safe kernel extensions without run-time checking, Proc. OSDI, Seattle, USA, October 1996.
• 4: P. Levis and D. Culler., Maté: A tiny virtual machine for sensor networks, Proc. ASPLOS-X, October 2002.
• 5: L. Gu et al., t-kernel: Providing Reliable OS Support to Wireless Sensor Networks, Proc. 4th ACM SenSys, 2006.
• 6: Ram Kumar, et al., Harbor: Software-based memory protection in sensor nodes, Proc. IPSN, 2007.
• 7: MSP 430 specification, http://focus.ti.com/mcu/docs/.
• 8: Vikram Adve, et al., LLVA: A Low-level Virtual Instruction Set Architecture, Proc. ACM/IEEE MICRO, 2003.
• 9: David Gay et al., Memory management with explicit regions, Proc. PLDI, 1998.
• 10: Grossman, et al., Region-based memory management in cyclone, Proc. PLDI, 2002.
• 11: M. Tofte, et al., Region-based memory management. Information and Computation,132(2):109--176, 1997.
• 12: R. Newton, et al., The Regiment Macroprogramming System, Proc. IPSN'07, 2007.
• 13: Chien-Liang Fok, et al., Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications, Proc ICDCS, 2005.
• 14: J. Hill, et al. System architecture directions for networked sensors, Proc. ASPLOS-IX, 2000.
• 15: Steffan, A. et al. Towards Multi-Purpose Wireless Sensor Networks, Proc. Systems Communications, 14(17):336--341, August 2005.
• 16: ATmega 128L specification, http://www.atmel.com
• 17: Nathan Cooprider, et al., Efficient Memory Safety for TinyOS, Proc. SenSys 2007.

INDEX TERMS

General Terms:
Languages, Reliability, Security, Verification

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