Home // SENSORCOMM 2011, The Fifth International Conference on Sensor Technologies and Applications // View article


A Survey of Modeling Techniques for Wireless Sensor Networks

Authors:
John Khalil Jacoub
Ramiro Liscano
Jeremy Bradbury

Keywords: Wireless Sensor Networks (WSN), Modeling, Code Generation, Model Checking, Analysis.

Abstract:
Wireless Sensor Networks (WSNs) monitor envi- ronment phenomena and in some cases react in response to the observed phenomena. The distributed nature of WSNs and the interaction between software and hardware components makes it difficult to correctly design and develop WSN systems. One solution to the WSN design challenges is system modeling. In this paper we present a survey of 9 WSN modeling techniques and show how each technique models different parts of the system such as sensor behavior, sensor data and hardware. Furthermore, we consider how each modeling technique rep- resents the network behavior and network topology. We also consider the available supporting tools for each of the modeling techniques. Based on the survey, we classify the modeling techniques and provide future directions to enhance the use of modeling in the design of WSNs.

Pages: 103 to 109

Copyright: Copyright (c) IARIA, 2011

Publication date: August 21, 2011

Published in: conference

ISSN: 2308-4405

ISBN: 978-1-61208-144-1

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011