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

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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

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

    Akgun, O., Dearle, A., Garrett, E. & Kirby, G. N. C. 24 May 2017

    Research output: Contribution to conferenceAbstract

  4. Probabilistic linkage of vital event records in Scotland using familial groups

    Akgun, O., Dalton, T. S., Dearle, A., Garrett, E. & Kirby, G. N. C. 11 May 2017

    Research output: Contribution to conferenceAbstract

ID: 17683349