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
Publication statusPublished - 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: Contribution to conferenceAbstract

  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. Modelling string structure in vector spaces

    Connor, R., Dearle, A. & Vadicamo, L., 9 Jul 2019, Proceedings of the 27th Italian Symposium on Advanced Database Systems: Castiglione della Pescaia (Grosseto), Italy, June 16th to 19th, 2019. Mecella, M., Amato, G. & Gennaro, C. (eds.). Sun SITE Central Europe, 12 p. 45. (CEUR Workshop Proceedings; vol. 2400).

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

  5. Linking Scottish vital event records using family groups

    Akgün, Ö., Dearle, A., Kirby, G. N. C., Garrett, E., Dalton, T. S., Christen, P., Dibben, C. J. L. & Williamson, L. E. P., 25 Mar 2019, In : Historical Methods: a Journal of Quantitative and Interdisciplinary History. Latest articles, 17 p.

    Research output: Contribution to journalArticle

ID: 17683349