Lancaster EPrints

Type-safe updating for modular WSN software

Porter, Barry and Coulson, Geoffrey and Roedig, Utz (2011) Type-safe updating for modular WSN software. In: Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on. IEEE, pp. 1-8. ISBN 978-1-4577-0512-0

Full text not available from this repository.

Abstract

Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to effective dynamic software updating in Wireless Sensor Networks (WSNs). Modular software updating approaches offer high efficiency, in terms of both network costs and update installation at nodes, as well as low disruption, allowing existing software to continue to operate during updates. Existing approaches however critically lack safety, relying on weakly-typed event-based programming abstractions for inter-module interaction. This precludes compile-time or composition-time verification of interoperability between dynamically loaded modules and therefore presents major risks for future large-scale production-class deployments. In this paper we present Lorien: a component-based modular operating environment that employs interface-based inter-component interaction to support completely type-safe software composition, while still supporting high update efficiency and low disruption. Our approach also has very wide scope, allowing almost 90% of software to be remotely updated on common sensor platforms such as the TelosB. We compare Lorien against existing modular designs, finding that the safety properties of Lorien are offered with near equal efficiency.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 49459
Deposited By: ep_importer_pure
Deposited On: 24 Aug 2011 15:55
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 00:46
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/49459

Actions (login required)

View Item