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

Sanjeev GUPTA, Mayank DAVE
DOI: 10.4236/wsn.2010.21008                

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.

Keywords

Modeling, SPIN, Promela, Centralized Clustering, Base Station, Sink, Cellular, Formal

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	B. R. Haverkort, H. Hermanns, and J. P. Katoen, “The use of model checking techniques for quantitative dependability evaluation,” In IEEE Symposium on Reliable Distributed Systems, ISBN:0-7695-0543-0, pp. 228–238, 2000.
[2]	B. B′erard, M. Bidoit, A. Finkel, and F. Laroussinie, “Systems and software verification: Model checking techniques and tools,” Springer-Verlag, New York, ISBN: 3-540-41523-8.L., pp. 190, 1999.
[3]	G. J. Holzmann, “Design and validation of computer protocols,” ISBN: 0-135-39925-4, Prentice Hall, New Jersey, pp. 512, 1990.
[4]	G. J. Holzmann, “The SPIN model checker: Primer and reference manual,” Addison Wesley, ISBN 978-0-321- 22862-8, pp. 608, 2003.
[5]	Lamport, “The temporal logic of actions,” ACM Transactions on Programming Languages Systems, Vol. 16, No. 3, pp. 872–923, 1994.
[6]	M. Kamel and S. Leue, “VIP: A visual editor and compiler for v-Promela. Tools and Algorithms for the Construction and Analysis of Systems,” Springer Berlin, Heidelberg, doi: 10.1007/3-540-46419-0, pp. 471–486, January 2000.
[7]	S. Gupta and M. Dave, “Real time approach for data placement in wireless sensor networks,” International Journal of Electronic Circuits System, Vol. 2, No. 3, pp. 132–139, 2008.
[8]	I. F. Akyildiz and I. H. Kasimoglu, “Wireless sensor and actor networks: Research challenges,” Ad Hoc Networks, Vol. 2, No. 4, pp. 351–367, 2004.
[9]	M. G. Gouda and Y. R. Choi, “A state-based model of sensor protocols, Principles of distributed systems,” doi: 10.1007/11795490, ISBN: 978-3-540-36321-7, Springer Berlin, Heidelberg, 2007.
[10]	Hill, J., R. Szewczyk , A. Woo, S. Hollar, D. Culler and K. Pister, “System architecture directions for networked sensors,” ISSN: 0362-1340, ACM SIGPLAN, Vol. 35, No. 11, pp. 93–104.
[11]	W. B. Heinzelman, A. P. Chandrakasan, and H. Bala- krishnan, “An application-specific protocol architecture for wireless microsensor networks,” IEEE Transaction on Wireless Communications, Vol. 1, pp. 660–670, 2002.
[12]	S. Gamwarige and E. Kulasekere, “Optimization of cluster head rotation in energy constrained wireless sensor networks,” IFIP International Conference on Wireless & Optical Communications Networks, Singapore, doi: 10.1109/ WOCN.2007.4284155, pp. 1–5, July 2007.
[13]	M. Ben-Ari, “Development environments for spin and erigone,” http://stwww.weizmann.ac.il/g-cs/benari/jspin/.
[14]	T. Rappaport, “Wireless communications: Principles & practice,” Prentice-Hall, 2nd Edition, ISBN: 0130422320, pp. 736, 2001.