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

Standard

Channel and active component abstractions for WSN programming : A language model with operating system support. / Harvey, Paul; Dearle, Alan; Lewis, Jonathan Peter; Sventek, Joseph.

SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. 2012. p. 35-44.

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

Harvard

Harvey, P, Dearle, A, Lewis, JP & Sventek, J 2012, Channel and active component abstractions for WSN programming: A language model with operating system support. in SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. pp. 35-44, 1st International Conference on Sensor Networks, SENSORNETS 2012, Rome, Italy, 24/02/12. https://doi.org/10.5220/0003832500350044

APA

Harvey, P., Dearle, A., Lewis, J. P., & Sventek, J. (2012). Channel and active component abstractions for WSN programming: A language model with operating system support. In SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks (pp. 35-44) https://doi.org/10.5220/0003832500350044

Vancouver

Harvey P, Dearle A, Lewis JP, Sventek J. Channel and active component abstractions for WSN programming: A language model with operating system support. In SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. 2012. p. 35-44 https://doi.org/10.5220/0003832500350044

Author

Harvey, Paul ; Dearle, Alan ; Lewis, Jonathan Peter ; Sventek, Joseph. / Channel and active component abstractions for WSN programming : A language model with operating system support. SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. 2012. pp. 35-44

Bibtex - Download

@inproceedings{73f6d76bbbdf44b29aa2de8f8bef59a9,
title = "Channel and active component abstractions for WSN programming: A language model with operating system support",
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.",
author = "Paul Harvey and Alan Dearle and Lewis, {Jonathan Peter} and Joseph Sventek",
year = "2012",
doi = "10.5220/0003832500350044",
language = "English",
isbn = "978-989856501-3",
pages = "35--44",
booktitle = "SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks",
note = "1st International Conference on Sensor Networks, SENSORNETS 2012 ; Conference date: 24-02-2012 Through 26-02-2012",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Channel and active component abstractions for WSN programming

T2 - 1st International Conference on Sensor Networks, SENSORNETS 2012

AU - Harvey, Paul

AU - Dearle, Alan

AU - Lewis, Jonathan Peter

AU - Sventek, Joseph

PY - 2012

Y1 - 2012

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

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

U2 - 10.5220/0003832500350044

DO - 10.5220/0003832500350044

M3 - Conference contribution

SN - 978-989856501-3

SP - 35

EP - 44

BT - SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks

Y2 - 24 February 2012 through 26 February 2012

ER -

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 conferenceAbstractpeer-review

  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. BitPart: exact metric search in high(er) dimensions

    Dearle, A. & Connor, R., Jan 2021, In: Information Systems. 95, 14 p., 101493.

    Research output: Contribution to journalArticlepeer-review

  5. On the application of convex transforms to metric search

    Connor, R., Dearle, A., Mic, V. & Zezula, P., Oct 2020, In: Pattern Recognition Letters. 138, p. 563-570

    Research output: Contribution to journalArticlepeer-review

ID: 17683349

Top