Skip to content

Research at St Andrews

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

Research output: ResearchConference contribution


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.


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
Number of pages6
ISBN (Print)978-0-7695-3262-2
StatePublished - Jul 2008
Event32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland
Duration: 28 Jul 20081 Aug 2008

Publication series

ISSN (Print)0730-3157


Conference32nd Annual IEEE International Computer Software and Applications Conference

    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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchOther report

ID: 6826041