Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - Type-safe updating for modular WSN software
AU - Porter, Barry
AU - Coulson, Geoffrey
AU - Roedig, Utz
PY - 2011/6
Y1 - 2011/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80052455374&partnerID=8YFLogxK
U2 - 10.1109/DCOSS.2011.5982140
DO - 10.1109/DCOSS.2011.5982140
M3 - Conference contribution/Paper
SN - 978-1-4577-0512-0
SP - 1
EP - 8
BT - Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on
PB - IEEE
T2 - 7th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2011)
Y2 - 27 June 2011 through 29 June 2011
ER -