12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Type-safe updating for modular WSN software
View graph of relations

« Back

Type-safe updating for modular WSN software

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date06/2011
Host publicationDistributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on
PublisherIEEE
Pages1-8
Number of pages8
ISBN (Electronic)978-1-4577-0511-3
ISBN (Print)978-1-4577-0512-0
Original languageEnglish

Conference

Conference7th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2011)
CountryUnited Kingdom
CityBarcelona
Period27/06/1129/06/11

Conference

Conference7th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2011)
CountryUnited Kingdom
CityBarcelona
Period27/06/1129/06/11

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.