Skip to content

Research at St Andrews

A component-based model and language for wireless sensor network applications

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

Abstract

Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, these users are expected to produce low-level software for a concurrent, real-time and resource-constrained computing environment. In this paper, we introduce a component-based model for wireless sensor network applications and a language, Insense, for supporting the model. An application is modelled as a composition of interacting components and the application model is preserved in the Insense implementation where active components communicate via typed channels. The primary design criteria for Insense include: to abstract over low-level concerns for ease of programming; to permit worst-case space and time usage of programs to be determinable; to support the fractal composition of components whilst eliminating implicit dependencies between them; and, to facilitate the construction of low footprint programs suitable for resource-constrained devices. This paper presents an overview of the component model and Insense, and demonstrates how they meet the above criteria.
Close

Details

Original languageEnglish
Title of host publication32nd annual IEEE International Computer Software and Applications
Subtitle of host publicationCOMPSAC 2008, 28 July-1 August 2008, Turku, Finland
PublisherIEEE Computer Society
Pages1303-1308
Number of pages6
ISBN (Print)978-0-7695-3262-2
DOIs
StatePublished - Jul 2008
Event32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland

Publication series

NameIEEE COMPSAC
ISSN (Print)0730-3157

Conference

Conference32nd Annual IEEE International Computer Software and Applications Conference
CountryFinland
CityTurku
Period28/07/081/08/08

    Research areas

  • Wireless sensor network, Component, Insense, Composition, Language, Model, Resource constraint

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. On the selection of connectivity-based metrics for WSNs using a classification of application behaviour

    Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R. 7 Jun 2010 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: SUTC 2010. IEEE Computer Society, p. 268-275 8 p.

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

  3. An Approach to Extending the Lifetime of Wireless Sensor Networks

    Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R. Jun 2008 9th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting . Liverpool, UK: PGNet, p. 123-128

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

  4. A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications

    Balasubramaniam, D., Dearle, A. & Morrison, R. 2008 Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Pautasso, C. & Tanter, E. (eds.). Springer, Vol. 4954, p. 206-214 9 p. (Lecture Notes in Computer Science; vol. 4954)

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

  5. The Napier88 to the Persistent Abstract Machine Compilation Rules

    Balasubramaniam, D., Brown, A. L., Connor, R. C. H., Cutts, Q. I., Dearle, A., Kirby, G. N. C., Morrison, R., Munro, D. S. & Scheuerl, S. 1994 University of St Andrews.

    Research output: Book/ReportOther report

ID: 6826041