Yessine HADJ KACEM, Raoudha SAIDA, Mohammed Sulaiman BENSALEH, Mohamed ABID

A model-based transformation framework for designing and analyzing wireless sensor networks

Wireless sensor networks (WSNs) comprise resource-constrained (e.g., memory, processing, and energy) sensornodes that are deployed in different areas and are able to monitor environmental conditions. Simulation has been widelyused in order to evaluate the network performance. In this context, software designers need to evaluate, refine, andvalidate high-level models for WSN applications at early stages of development via simulation tools, in particular forWSN applications supporting energy-harvesting devices. In the present paper, we propose a model-based transformationframework that allows the modeling and simulation of a WSN system supporting energy-harvesting capabilities. Inthis proposal, we start from a high-level specification based on the UML/MARTE profile, which describes an energyharvesting WSN node. Then a model-to-text (M2T) transformation allows us to generate simulation scripts for analysispurposes by focusing on energy consumption.

PDF

___

de Lima G, e Silva L, Neto P. WSN as a tool for supporting agriculture in the precision irrigation. In: 2010 Sixth International Conference on Networking and Services; 7–13 March 2010; Cancun, Mexico. New York, NY, USA: IEEE. pp. 137-142.
Al Ameen M, Liu J, Kwak K. Security and privacy issues in wireless sensor networks for healthcare applications. J Med Syst 2012; 36 : 93-101.
Swati AJ, Priyanka R. Wireless sensor network (WSN): Architectural design issues and challenges. Int J Comput Sci Eng 2010; 2: 3089-3094.
Castagnetti C, Pegatoquet A, Belleudy C, Auguin M. A framework for modeling and simulating energy harvesting WSN nodes with efficient power management policies. Eurasip J Emb Syst 2012; 2012: 8.
Schmidt DC. Guest Editor’s introduction: model-driven engineering. Computer 2006; 39: 25-31.
Fuchs G, German R. UML2 activity diagram based programming of wireless sensor networks. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications; 2–8 May 2010; Cape Town, South Africa. New York, NY, USA: ACM. pp. 8-13.
Glombitza N, Pfisterer D, Fischer S. Using state machines for a model driven development of web service-based sensor network applications. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications; 2–8 May 2010; Cape Town, South Africa. New York, NY, USA: ACM. pp. 2-7.
OMG. A UML profile for MARTE, Beta 1. Needham, MA, USA: Object Management Group, 2007.
Musznicki B, Zwierzykowski P. Survey of simulators for wireless sensor networks. Comm Com Inf Sc 2012; 5: 23-50.
Saida R, Kacem YH, BenSaleh M, Abid M. A UML/MARTE extension for designing energy harvesting in wireless sensor networks. In: Damiani E, editor. Intelligent Interactive Multimedia Systems and Services. Berlin, Germany: Springer, 2016. pp. 427-438.
Gotzhein R, Krämer M, Litz L, Chamaken A. Energy-aware system design with SDL. Lect Notes Comp Sci 2009; 5719: 19-33.
Sandhu KK. Specification and description language (SDL). In: IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications; 19 March 1992; London, UK. New York, NY, USA: IET. pp. 3/1-3/4.
Mozumdar MMR, Gregoretti F, Lavagno L, Vanzago L, Olivieri S. A framework for modeling, simulation and automatic code generation of sensor network application. In: 2008 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks; 16–20 June 2008; San Francisco, CA, USA. New York, NY, USA: IEEE. pp. 515-522.
Hill JL, Szewczyk R, Woo A, Hollar S, Culler DE, Pister KSJ. System architecture directions for networked sensors. In: Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems; 13–15 November 2000; Cambridge, MA, USA. New York, NY, USA: ACM. pp. 93-104.
Abrach H, Bhatti S, Carlson J, Dai H, Rose J, Sheth A, Shucker B, Deng J, Han R. Mantis: System support for multimodal networks of in-situ sensors. In: Proceedings of the 2nd ACM International Conference on Wireless Sensor Networks and Applications; 19 September 2003; San Diego, CA, USA. New York, NY, USA: ACM. pp. 50-59.
Shimizu R, Tei K, Fukazawa Y, Honiden S. Model driven development for rapid prototyping and optimization of wireless sensor network applications. In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications; 21–28 May 2011; Honolulu, HI, USA. New York, NY, USA: ACM. pp. 31-36.
Boonma P, Somchit Y, Natwichai J. A model-driven engineering platform for wireless sensor networks. In: 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing; 28–30 October 2013; Compiegne, France. New York, NY, USA: IEEE. pp. 671-676.
Doddapaneni K, Ever E, Gemikonakli O, Malavolta I, Mostarda L, Muccini H. A model-driven engineering framework for architecting and analysing wireless sensor networks. In: 2012 Third International Workshop on Software Engineering for Sensor Network Applications; 2 June 2012; Zurich, Switzerland. New York, NY, USA: IEEE. pp. 1-7.
Berardinelli L, Cortellessa V, Pace S. Modeling and analyzing performance of software for wireless sensor networks. In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications; 21–28 May 2011; Honolulu, HI, USA. New York, NY, USA: ACM. pp. 13-18.
Allen J, Forshaw M, Thomas N. Towards an extensible and scalable energy harvesting wireless sensor network simulation framework. In: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion; 2017; L’Aquila, Italy. New York, NY, USA: ACM. pp. 39-42.
Dall’Ora R, Raza U, Brunelli D, Picco GP. SensEH: From simulation to deployment of energy harvesting wireless sensor networks. In: 39th Annual IEEE Conference on Local Computer Networks Workshops; 8–11 September 2014; Canada. New York, NY, USA: IEEE. pp. 566-573.
Rajaram ML, Kougianos E, Mohanty SP, Choppali U. Wireless sensor network simulation frameworks: a tutorial review: MATLAB/Simulink bests the rest. IEEE Consumer Electronics Magazine 2016; 5: 63-69.
Stahl T, Völter M, Bettin J, Hasse A, Hilson S. Model-Driven Software Development: Technology, Engineering, Management. New York, NY, USA: Wiley, 2013.
Brambilla M, Cabot J, Wimmer M. Model-Driven Software Engineering in Practice. New York, NY, USA: Morgan & Claypool, 2010.
Oldevik J. Mofscript User Guide. Version 0.6 (MOFScript v 1.1. 11), 2006.
Medina J, Harbour M, Drake J. The UML profile for schedulability, performance and time in the schedulability analysis and modeling of real-time distributed systems. In: SIVOES-SPT Workshop; May 2004; Toronto, Canada.
Kuri M. A survey of wireless sensor network hardware platforms and simulation tools. Int J Com Sci 2013; 4: 26-31.
Chen Q, Schmidt-Eisenlohr F, Jiang D, Torrent-Moreno M, Delgrossi L, Hartenstein H. Overhaul of IEEE 802.11 modeling and simulation in ns-2. In: Proceedings of the 10th ACM Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems; 22–26 October; Chania, Greece. New York, NY, USA: ACM. pp. 159-168.
Polley J, Blazakis D, McGee J, Rusk D, Baras JS. Atemu: A fine-grained sensor network simulator. In: 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks; 4–7 October 2004; Santa Clara, CA, USA. New York, NY, USA: IEEE. pp. 145-152.
Titzer BL, Lee DK, Palsberg J. Avrora: Scalable sensor network simulation with precise timing. In: IPSN 2005 Fourth International Symposium on Information Processing in Sensor Networks; 15 April 2005; Boise, ID, USA. New York, NY, USA: IEEE. pp. 477-482.
Fraboulet A, Chelius G, Fleury E. Worldsens: Development and prototyping tools for application specific wireless sensors networks. In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks; 25–27 April 2007; Cambridge, MA, USA. New York, NY, USA: ACM. pp. 176-185.
Rincón FJ, Susu AE, Sánchez-Élez M, Atienza D, De Micheli G. A simulation model for wireless sensor networks based on tossim. In: Proceedings of the XXII Conference on Design of Circuits and Integrated Systems; 21–23 November 2007; Seville, Spain. pp. 278-283.
Rastegarnia A, Solouk V. Castalia network animator (CNA): A visualization tool for Castalia wireless sensor network simulator. In: 2012 Ninth International Conference on Information Technology - New Generations; 16–18 April 2012; Las Vegas, NV, USA. New York, NY, USA: IEEE. pp. 48-53.
Varga A, Hornig R. An overview of the Omnet ++ simulation environment. In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops; 3–7 March 2008; Marseille, France. New York, NY, USA: ACM. pp. 60:1-60:10.
Karray F, Garcia-Ortiz A, Jmal MW, Obeid M, Abid M. Earnpipe: A testbed for smart water pipeline monitoring using wireless sensor network. Procedia Comput Sci 2016; 96: 285-294.
Ye G, Soga K. Energy harvesting from water distribution systems. J Energ Eng 2011; 138: 7-17.