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. 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

  2. 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

  3. 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) 12 p.

    Research output: Research - peer-reviewPaper

  4. 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