Skip to content

Research at St Andrews

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

Research output: ResearchConference 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: Research - peer-reviewAbstract

  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: ResearchConference 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: ResearchConference contribution

  4. Using metric space indexing for complete and efficient record linkage

    Akgün, Ö., Dearle, A., Kirby, G. N. C. & Christen, P. 10 Feb 2018 (Accepted/In press) Advances in Knowledge Discovery and Data Mining. Springer, 12 p. (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence))

    Research output: ResearchConference contribution

  5. Learning From Past Links: Understanding the Limits of Linkage Quality

    Akgun, O., Dearle, A., Garrett, E. & Kirby, G. N. C. 24 May 2017 (Accepted/In press)

    Research output: ResearchAbstract

ID: 17683349