Wireless sensor networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this work, we present an automatic approach to directly verify WSNs built with TinyOS applications implemented in the NesC language. To achieve this target, we firstly define a set of formal operational se...

Wireless sensor networks (WSNs) present design issues and challenges in both hardware and software platform development. This paper presents the implementation of a hardware-dependent component library that extends TinyOS in order to create an abstraction layer on top of a dynamically reconfigurable hardware architecture. Such hardware architecture is based on a SPARC-compliant processor and it...

Wireless sensor networks (WSNs) have gained worldwide attention in recent years, particularly with the rapid progress in Micro-Electro-Mechanical Systems (MEMS) technology which has facilitated the development of smart sensors. These sensors are small, with limited processing and computing resources, and they are inexpensive compared to traditional sensors. These sensor nodes can sense, measure...

The energy consumption of a wireless sensor network affects its lifetime which in turn affects the scope and usefulness of the network. Most existing or proposed MAC protocols enable nodes to specify a duty cycle, so that they can sleep much of the time to save energy. However, only very few models exist to determine the appropriate time and duration of a sleep phase. Existing approaches rely o...

The vision of a sensor network as a database has been reasonably well explored in the recent literature. Several sensor database systems have been prototyped [1, 11], and some have even been deployed [2]. However, these systems have largely integrated the query processing and the routing mechanisms. In this paper, we explore the design and implementation of a sensor database system (specificall...

One problem of the current network programming implementation in TinyOS 1.1 is that it takes much longer than the tranditional in-sytem-programming due to the slow radio connection. We extended the implementation so that it uses the history of the previous version to reduce the transmission time. For a small amount of change in the source code, we achieved around 3.5 times of the speed-up. And ...

— this paper offers a summary of hybrid MAC Protocols that square measure designed exploitation FDMA, TDMA and CSMA approaches, giving it the flexibility to adapt to traffic and topology changes. It adopts a TDMA/FDMA/CSMA approach to beat the downside that is facing as individual protocol exploitation single approach. ZMAC, IHMAC, IMAC, BAZ-MAC, PHMAC, ERMAC like these there square measure man...

What are the real security issues for a wireless sensor network (WSN) intended to monitor the structural health of a suspension bridge, a subway tunnel or a water distribution pipe? Could an attack on the sensor network cause the structure to collapse? How easy is it for civil engineers or other domain experts to build a secure WSN using commercially available hardware and software? We answer t...

In this paper, we re-examine the RSSI measurement model for location estimation and provide the first detailed formulation of the probability distribution of the position of a sensor node. We also show how to use this probabilistic model to efficiently compute a good estimation of the position of the sensor node by sampling multiple readings from the beacons (where we do not merely use the mean...

Energy constraints and high connectivity dynamics render Wireless Sensor Networks (WSNs) difficult to program and use. Software applications must be coordinated not only functionally, as is traditionally done, but also in terms of resource utilization and adaptation to a dynamic environment. This paper presents Adaptive Servilla, a middleware that provides adaptive service provisioning capabili...