TITLE:
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks
AUTHORS:
Sanjeev GUPTA, Mayank DAVE
KEYWORDS:
Modeling, SPIN, Promela, Centralized Clustering, Base Station, Sink, Cellular, Formal
JOURNAL NAME:
Wireless Sensor Network,
Vol.2 No.1,
January
13,
2010
ABSTRACT: Wireless sensor network (WSN) technology has promised fine grain monitoring in time and space as well as at a lower cost than is currently possible. These sensor networks are required to provide a robust service in hostile environments. Therefore the issue of real-time and reliable data delivery is extremely important for taking effective decisions in WSN. In this paper the architecture for reliable and real time approach by using sensor clusters has been proposed for storage management. Instead of storing information in an individual cluster head as suggested in some approaches, storing of information of all clusters, inside the cell is recommended within the corresponding base station. For data dissemination and action we have used Action and Relay Stations (ARS). We have developed programming model for formal specification and verification of our architecture.