A survey of modeling techniques for wireless sensor networks

SENSORCOMM 2011 - 5th International Conference on Sensor Technologies and Applications and WSNSCM 2011, 1st International Workshop on Sensor Networks for Supply Chain Management

Volumn , Issue , 2011, Pages 103-109

  Jacoub, John Khalil ^a   Liscano, Ramiro ^a   Bradbury, Jeremy S ^a  

^a UNIVERSITY OF ONTARIO INSTITUTE OF TECHNOLOGY   (Canada)

Author keywords

Analysis; Code generation; Model checking; Modeling; Wireless Sensor Networks (WSN)

Indexed keywords

HARDWARE; MODEL CHECKING; MODELS; SUPPLY CHAIN MANAGEMENT; SURVEYS;

ANALYSIS; CODE GENERATION; MODELING TECHNIQUE; NETWORK BEHAVIORS; NETWORK TOPOLOGY; SOFTWARE AND HARDWARES; SUPPORTING TOOL; WIRELESS SENSOR NETWORK (WSNS);

WIRELESS SENSOR NETWORKS;

EID: 84864346038     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. J. Barbaran, M. Diaz, I. Esteve, D. Garrido, L. Llopis, B. Rubio, and J. Troya. Tc-wsans: A tuple channel based coordination model for wireless sensor and actor networks. In Computers and Communications, 2007. ISCC 2007. 12th IEEE Symposium on, pages 173-178, 2007.
2. S. Bhatti, J. Carlson, H. Dai, J. Deng, J. Rose, A. Sheth, B. Shucker, C. Gruenwald, A. Torgerson, and R. Han. MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms. Mobile Networks and Applications, 10:563-579, 2005.
3. S. Bhatti, J. Xu, and M. Memon. Model checking of a target tracking protocol for wireless sensor networks. In Proc. of IEEE 10th Int. Conf. on Computer and Information Technology (CIT'10), pages 2867-2872, Jul. 2010.
4. M. Botts and A. Robin. OpenGIS sensor model language (SensorML) implementation specification. Technical report, OGC, Jul. 2007.
5. E. M. Clarke Jr., O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
6. A. Dearle, D. Balasubramaniam, J. Lewis, and R. Morrison. A component-based model and language for wireless sensor network applications. In Proc. of 32nd Annual IEEE Int. Conf. on Computer Software and Applications (COMPSAC '08), pages 1303-1308, Aug. 2008.
7. A. Demaille. Probabilistic verification of sensor networks. In Proc. of 4th IEEE Int. Conf. on Comp. Sci., Research, Innovation and Vision for the Future (RIVF'06), pages 45-54, 2006.
8. A. Demaille, S. Peyronnet, and B. Sigoure. Modeling of sensor networks using XRM. In Proc. of 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 271-276, Nov. 2006.
9. M. Diaz, D. Garrido, L. Llopis, B. Rubio, and J. Troya. A component framework for wireless sensor and actor networks. In Proc. of IEEE Conf. on Emerging Technologies and Factory Automation (ETFA '06), pages 300-307, Sept. 2006.
10. D. Dietterle, J. Ryman, K. Dombrowski, and R. Kraemer. Mapping of high-level SDL models to efficient implementations for TinyOS. In Proc. of Euromicro Symp. on Digital System Design (DSD 2004), pages 402-406, Aug.-Sept. 2004.
11. A. Dunkels, B. Gronvall, and T. Voigt. Contiki - a lightweight and flexible operating system for tiny networked sensors. In Proc. of 29th Annual IEEE Int. Conf. on Local Computer Networks, pages 455-462, Nov. 2004.
12. ITU-T. Specification and description language (SDL), z.100 (11/99) edition, 1999.
13. P. Levis. TinyOS Programming. Cambridge University Press, 2009.
14. R. Liscano and K. Kazemi. Integration of component-based frameworks with sensor modelling languages for the sensor web. In Proc. of IEEE GLOBECOM Workshops (GC Wkshps), pages 235-240, Dec. 2010.
15. F. Losilla, C. Vicente-Chicote, B. Ivarez, A. Iborra, and P. Snchez. Wireless sensor network application development: An architecture-centric mde approach. In Software Architecture, volume 4758 of Lecture Notes in Computer Science, pages 179-194. 2007.
16. M. Mozumdar, F. Gregoretti, L. Lavagno, L. Vanzago, and S. Olivieri. A framework for modeling, simulation and automatic code generation of sensor network application. In Proc. of 5th IEEE Comm. Soc. Conf. on Sensor, Mesh and Ad Hoc Communications and Networks (SECON'08), pages 515-522, Jun. 2008.
17. L. Necchi, A. Bonivento, L. Lavagno, A. Sangiovanni-Vincentelli, and L. Vanzago. E2rina: an energy efficient and reliable in-network aggregation for clustered wireless sensor networks. In Wireless Communications and Networking Conference, pages 3364-3369, 2007.
18. B. Nickerson and J. Lu. A language for wireless sensor webs. In Communication Networks and Services Research, 2004. Proceedings. Second Annual Conference on, pages 293-300, May 2004.
19. V. Oleshchuk. Ad-hoc sensor networks: modeling, specification and verification. In Proc. of 2nd IEEE Int. Work. on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, pages 76-79, Sept. 2003.
20. O. Sharma, J. Lewis, A. Miller, A. Dearle, D. Balasubramaniam, R. Morrison, and J. Sventek. Towards verifying correctness of wireless sensor network applications using Insense and Spin. In Model Checking Software, volume 5578 of Lecture Notes in Computer Science, pages 223-240. 2009.
21. M. Vasilevski, N. Beilleau, H. Aboushady, and F. Pecheux. Efficient and refined modeling of wireless sensor network nodes using SystemC-AMS. In Conf. on Ph. D. Research in Microelectronics and Electronics (PRIME 2008), pages 81-84, Apr. 2008.