A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF
Proceedings of the Third C* Conference on Computer Science and Software Engineering
| Hi-index | 0.00 |
Event-driven programming platforms for sensor networks require the programmers to deal with several challenges including buffer management, stack management, and flow control. To simplify the design of sensor network protocols, several high-level primitives are proposed. However, these primitives have to be implemented in an existing event-driven programming platform and most of them still require the programmers to use the same platform (though some intricate details of the platform are hidden). In this dissertation, we develop tools and protocols that enable the programmers to rapidly prototype and quickly deploy sensor network protocols. We propose to reuse existing abstract models from distributed computing literature (e.g., read/write model, shared-memory model). Since these models hide several low-level challenges of the target system, programs written in these models are simple, easy to understand, and concise. These abstract programs must then be transformed into a model consistent with sensor networks. The main contributions of this dissertation are as follows. (1) We consider a new computational model for sensor networks, namely, write all with collision (WAC) model and develop algorithms that transform programs written in traditional abstract models into sensor networks. We show that the transformation algorithms preserve the self-stabilization property of the original programs. (2) Based on this theoretical foundation, we propose ProSe, a programming tool for sensor networks. ProSe enables the programmers to (a) specify protocols in simple abstract models, (b) reuse existing fault-tolerant/self-stabilizing protocols from the literature in the context of sensor networks, and (c) automatically generate and deploy code. (3) To quickly deploy the generated programs, we propose Infuse , a bulk data dissemination protocol for reprogramming the sensors in-place. To deal with arbitrary channel errors, we extend the sliding window mechanisms of TCP/IP. We show that Infuse provides a reliable and energy-efficient data dissemination service through simulations and real-world experiments. Based on our experience in developing sensor network applications, we expect that these results would simplify the protocol design, implementation, evaluation, and deployment. As a result, it enables the transition where protocols are designed by domain experts rather than experts in sensor networks.