Model of Real Time Architecture for Data Placement in Wireless Sensor Networks

• 作者: Mayank DAVE Sanjeev GUPTA
• 来源期刊: 无线传感网络(英文)
• 学科: 医学
• 关键词: Modeling SPIN PROMELA CENTRALIZED Clustering Base Station SINK Cellular FORMAL
• 年，卷（期）: 2010,（1）
• 页码范围: 53-61
• 页数: 9页
• 分类号: R73

摘要

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.