Behavioural design of sensor network applications using activity-driven states

Abstract

The challenge of designing and programming Wireless Sensor Network (WSN) applications has gained increasing attention in recent years. While most existing programming models for WSNs share the same goal of improving software modularity, there exists a gap between the structural software design patterns offered by them and the high-level description of system components. The gap has appeared due to the lack of a software design solution that can model the unique behavioural and dynamic aspects of WSN software, e.g., activities, states, timed operations, and event-driven control flow. In this paper, we present a behavioural design solution for sensor networks based on the principles of finite automata, abstracting the complicated dynamic aspects of WSN software systems through the concept of activity-driven states. This promises a design model which effectively fills the above gap and provides the programmer with concrete design elements that can be directly mapped to the constructs of target programming languages. Moreover, it allows more accurate verification and validation of software systems for WSNs by precisely formulating their behavioural elements.

Energy Consumption Analysis and Design of Energy-Aware WSN Agents in fUML

“…In [13], the authors present a behavioural design solution for WSN, abstracting the complicated dynamic aspects of WSN software systems through the concept of activity-driven states. This provides the programmer with concrete design elements that can be directly mapped to the constructs of target programming languages opening towards more accurate verification and validation of software systems for WSNs.…”

“…This provides the programmer with concrete design elements that can be directly mapped to the constructs of target programming languages opening towards more accurate verification and validation of software systems for WSNs. Differently from [13], our approach gives the possibility to design software for WSN with fUML and to map it to the Agilla target language and provides functional, timing, performance and energy analyses on the UML models via simulation.…”