Skip to content

Research at St Andrews

Channel and active component abstractions for WSN programming: A language model with operating system support

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DOI

Author(s)

Paul Harvey, Alan Dearle, Jonathan Peter Lewis, Joseph Sventek

School/Research organisations

Abstract

To support the programming of Wireless Sensor Networks, a number of unconventional programming models have evolved, in particular the event-based model. These models are non-intuitive to programmers due to the introduction of unnecessary, non-intrinsic complexity. Component-based languages like Insense can eliminate much of this unnecessary complexity via the use of active components and synchronous channels. However, simply layering an Insense implementation over an existing event-based system, like TinyOS, while proving efficacy, is insufficiently space and time efficient for production use. The design and implementation of a new language-specific OS, InceOS, enables both space and time efficient programming of sensor networks using component-based languages like Insense.
Close

Details

Original languageEnglish
Title of host publicationSENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks
Pages35-44
DOIs
StatePublished - 2012
Event1st International Conference on Sensor Networks, SENSORNETS 2012 - Rome, Italy
Duration: 24 Feb 201226 Feb 2012

Conference

Conference1st International Conference on Sensor Networks, SENSORNETS 2012
CountryItaly
CityRome
Period24/02/1226/02/12

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Unikernel support for the deployment of light-weight, self-contained, and latency avoiding services

    Jaradat, W., Dearle, A. & Lewis, J. 21 Mar 2018 1 p.

    Research output: Contribution to conferenceAbstract

  2. Towards verifying correctness of wireless sensor network applications using Insense and Spin

    Sharma, O., Lewis, J. P., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R. & Sventek, J. 2009 Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Pasareanu , C. S. (ed.). Springer, p. 223-240 18 p. (Lecture Notes in Computer Science; vol. 5578)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A component-based model and language for wireless sensor network applications

    Dearle, A., Balasubramaniam, D., Lewis, J. P. & Morrison, R. Jul 2008 32nd annual IEEE International Computer Software and Applications: COMPSAC 2008, 28 July-1 August 2008, Turku, Finland. IEEE Computer Society, p. 1303-1308 6 p. (IEEE COMPSAC)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Understanding the linking possibilities in Scottish Records and an algorithmic approach to full linkage

    Dearle, A., Kirby, G. N. C., Lee, W. & Dibben, C. 20 Jun 2018 International Journal of Population Data Science. Swansea University, Vol. 3, 1 p. 039

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 17683349