Results 1 -
8 of
8
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
"... The Dutch company Chess develops a wireless sensor network (WSN) architecture using an epidemic communication model. One of the greatest challenges in the design is to find suitable mechanisms for clock synchronization. In this paper, we study a clock synchronization protocol for the Chess WSN. Firs ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
(Show Context)
The Dutch company Chess develops a wireless sensor network (WSN) architecture using an epidemic communication model. One of the greatest challenges in the design is to find suitable mechanisms for clock synchronization. In this paper, we study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker. Next, we present a full parametric analysis of the protocol for the special case of cliques (networks with full connectivity), that is, we give constraints on the parameters that are both necessary and sufficient for correctness. These results have been checked using the proof assistant Isabelle. Finally, we present a negative result for the special case of line topologies: for any instantiation of the parameters, the protocol will eventually fail if the network grows.
Simulation of process control with WirelessHART networks subject to clock drift
- in 32nd Annual IEEE International Computer Software and Applications (COMPSAC
"... Abstract-This paper describes an extension of the open source Simulink package TRUETIME for simulation of networked control systems. This extension enables simulation of wireless control using the recently released WirelessHART standard. An example is also presented which illustrates the simulated ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
(Show Context)
Abstract-This paper describes an extension of the open source Simulink package TRUETIME for simulation of networked control systems. This extension enables simulation of wireless control using the recently released WirelessHART standard. An example is also presented which illustrates the simulated effect of packet loss on control performance.
Analysis of a Clock Synchronization Protocol for Wireless Sensor NetworksI
"... The following full text is a preprint version which may differ from the publisher's version. ..."
Abstract
- Add to MetaCart
(Show Context)
The following full text is a preprint version which may differ from the publisher's version.
Wireless Sensor Network Communication Architecture for Wide-Area Large Scale Soil Moisture Estimation and Wetlands Monitoring Network Communications Infrastructure Group
"... Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science In this report, we investigate the important requirements of communication architecture of wireless sensor networks for wi ..."
Abstract
- Add to MetaCart
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science In this report, we investigate the important requirements of communication architecture of wireless sensor networks for wide-area large scale soil moisture estimation and wetlands monitoring and explain the key issues that are faced in the design of the wireless sensor network monitoring strategy. We review the communication protocols and algorithms in MAC layer and network layer, and examine the standard components in the sensor network architecture. Based on the survey, we recommend the multi-hop and cluster based sensor network communication architecture for the proposed applications. We further study the MAC layer and network layer communication protocols for wireless sensor networks with the applications for widearea large scale soil moisture estimation and wetlands monitoring. 2
Merging Ultra-low Duty Cycle Networks
"... Abstract—Energy is the scarcest resource in ad-hoc wireless networks, particularly in wireless sensor networks requiring a long lifetime. Intermittently switching the radio on and off is widely adopted as the most effective way to keep energy consumption low. This, however, prevents the very goal of ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract—Energy is the scarcest resource in ad-hoc wireless networks, particularly in wireless sensor networks requiring a long lifetime. Intermittently switching the radio on and off is widely adopted as the most effective way to keep energy consumption low. This, however, prevents the very goal of communication, unless nodes switch their radios on at synchronized intervals, a rather nontrivial coordination task. In this paper we address the problem of synchronizing node radios to a single universal schedule in very large scale wireless ad-hoc networks. More specifically, we focus on how independently synchronized clusters of nodes can detect each other and merge to a common radio schedule. Our main contributions consist in identifying the fundamental subproblems that govern cluster merging, providing a detailed comparison of the respective policies and their combinations, and supporting them by extensive simulation. Energy consumption, convergence speed, and network scalability have been the driving factors in our evaluation. The proposed policies are extensively tested in networks of up to 4,096 nodes. Our work is based on the GMAC protocol, a gossip-based MAC protocol for wireless adhoc networks. I.
Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks
"... Node mobility is a key feature of using Wireless Sensor Networks (WSNs) in many sensory applications, such as healthcare. The Medium Access Control (MAC) protocol should properly support the mobility in the network. In particular, mobility is complicated for contention-free protocols like Time Divis ..."
Abstract
- Add to MetaCart
(Show Context)
Node mobility is a key feature of using Wireless Sensor Networks (WSNs) in many sensory applications, such as healthcare. The Medium Access Control (MAC) protocol should properly support the mobility in the network. In particular, mobility is complicated for contention-free protocols like Time Division Multiple Access (TDMA). An efficient access to the sharedmedium is scheduled based on the node’s local neighborhood. This neighborhoodmay vary over time due to nodemovement or other dynamics. In scenarios including body-area networking, for instance, some clusters of nodes move together, creating further challenges but also opportunities. This article presents a MAC protocol, MCMAC, that provides efficient support for cluster mobility in TDMA-based MAC protocols in WSNs. The proposed protocol exploits a hybrid contention-free and contention-based communication approach to support cluster mobility. This relieves the protocol from rescheduling demand due to frequent node movements. Moreover, we propose a listening scheduling mechanism to avoid idle listening to mobile nodes that leads to a considerable energy saving for sensor nodes. The protocol is validated by performing several experiments in a real-world large-scale deployment including several mobile clusters. The protocol is also evaluated by extensive simulation of networks with various scales and configurations.
Contents
, 2008
"... Design of a wirelessHART simulator for studying delay compensation in networked ..."
Abstract
- Add to MetaCart
(Show Context)
Design of a wirelessHART simulator for studying delay compensation in networked
