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



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

School/Research organisations


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.


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


Conference1st International Conference on Sensor Networks, SENSORNETS 2012

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