RWiN: New methodology for the development of reconfigurable WSN

IEEE Transactions on Automation Science and Engineering

Volumn 14, Issue 1, 2017, Pages 109-125

  Grichi, Hanen ^a   Mosbahi, Olfa ^b   Khalgui, Mohamed ^b,c   Li, Zhiwu ^c,d  

^a UNIVERSITY OF CARTHAGE   (Tunisia)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

^c XIDIAN UNIVERSITY   (China)

^d MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

Author keywords

Code generation; Metamodel; Multiagent architecture; Reconfigurable wireless sensor network (RWSN); Verification and simulation

Indexed keywords

COMPLEX NETWORKS; MODELING LANGUAGES; RECONFIGURABLE HARDWARE; UNIFIED MODELING LANGUAGE; WIRELESS SENSOR NETWORKS;

COMMUNICATING AGENTS; DESIGN COMPLEXITY; DESIGN METHODOLOGY; DISTRIBUTED RECONFIGURATION; RECONFIGURABLE; RECONFIGURABLE SOFTWARE; TEMPORAL CONSTRAINTS; TIMED AUTOMATA;

NETWORK ARCHITECTURE;

EID: 84992362211     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2016.2608918     Document Type: Article

References (35)

1. W. Meng, W. D. Xiao, and C. D. Wu, "Distributed energy-based multi-source localization in wireless sensor network," in Proc. IEEE Int. Conf. Syst., Man, Singapore, Oct. 2008, pp. 2950-2954.
2. L. Yang, "Determining sink node locations in wireless sensor networks," in Proc. IEEE Int. Conf. Syst. Man, Taipei, Taiwan, Oct. 2006, pp. 3400-3404.
3. T. Fang, C. Fu, B. J. Falkowski, and B. Wang, "Multiple dynamic range image coding for wireless sensor networks," in Proc. IEEE Int. Conf. Syst. Man, Singapore, Oct. 2008, pp. 2944-2949.
4. X. Wang, I. Khemaissia, M. Khalgui, Z. Li, O. Mosbahi, and M. Zhou, "Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks," IEEE Trans. Autom. Sci. Eng., vol. 12, no. 1, pp. 258-271, Jan. 2015.
5. N. P. Mahalik, Sensor Networks and Configuration: Fundamentals, Standards, Platforms, and Applications. New York, NY, USA: Springer, 2009.
6. Y. Liang, J. Cao, D. Zhang, R. Wang, and Q. Pan, "A biologically inspired sensor wakeup control method for wireless sensor networks," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 40, no. 5, pp. 525-538, Sep. 2010.
7. Y. Lu, M. Motani, and W.-C. Wong, "Intelligent network design: User layer architecture and its application," in Proc. IEEE Int. Conf. Syst. Man Cybern., Istanbul, Turkey, Oct. 2010, pp. 1286-1292.
8. D. Hongtao, Q. Hairong, and G. Peterson, "Modeling mobile-agent-based collaborative processing in sensor networks using generalized stochastic Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Washington, DC, USA, Oct. 2003, pp. 563-568.
9. S. Bellis, K. Delaney, B. O'Flynn, J. Barton, C. O'Mathuna, and K. Razeeb, "Development of field programmable modular wireless sensor network nodes for ambient systems," J. Comput. Commun., Special Issue Wireless Sensor Netw., vol. 28, no. 13, pp. 1531-1544, Aug. 2005.
10. J. Chen, L. W. Zhang, and J. Q. Luo, "Reconfiguration cost analysis based on petrinet for manufacturing system," Softw. Eng. Appl., vol. 2, no. 5, pp. 361-369, 2009.
11. J. Zhang, M. Khalgui, Z. Li, O. Mosbahi, and A. M. Al-Ahmari, "R-TNCES: A novel formalism for reconfigurable discrete event control systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 43, no. 4, pp. 757-772, Jul. 2013.
12. M. Khalgui, O. Mosbahi, Z. Li, and H.-M. Hanisch, "Reconfigurable multiagent embedded control systems: From modeling to implementation," IEEE Trans. Comput., vol. 60, no. 4, pp. 538-551, Apr. 2011.
13. H. Ramamurthy, B. S. Prabhu, A. M. Madni, and R. Gadh, "Wireless industrial monitoring and control using a smart sensor platform," IEEE Sensors J., vol. 7, no. 5, pp. 611-618, May 2007.
14. V. Handziski, A. Kopke, A. Willig, and A. Wolisz, "TWIST: A scalable and reconfigurable testbed for wireless indoor experiments with sensor networks," in Proc. 2nd Int. Conf. Multi-Hop Ad Hoc Netw., Theory Reality, New York, NY, USA, 2006, pp. 63-70.
15. V. Kindratenko and D. Pointer, "Mapping a sensor interface and a reconfigurable communication system to an FPGA Core," Sensor Lett., vol. 3, no. 2, pp. 174-178, Jun. 2005.
16. A. Bonivento, C. Fischione, L. Necchi, F. Pianegiani, and A. Sangiovanni-Vincentelli, "System level design for clustered wireless sensor networks," IEEE Trans. Ind. Inf., vol. 3, no. 3, pp. 202-214, Aug. 2007.
17. T. Kawai, N. Wakamiya, and M. Murata, "Design methodology of a wireless sensor network architecture for urgent information transmission," in Proc. 3rd Int. Conf. Wireless Internet, 2007, pp. 301-308.
18. H. Grichi, O. Mosbahi, and M. Khalgui, New Flexible Architectures for Reconfigurable Wireless Sensor Networks. Cham, Switzerland: Springer, 2015, pp. 151-169.
19. M. K. O. Brien, S. G. Taylor, G. Park, K. Farinholt, and C. Farrar, "An efficient signal processing tool for impedance-based structural health monitoring," in Proc. SPIE, Apr. 2009, vol. 7295. no. 48, pp. 72951K-1-72951K-9.
20. S. Hong and S. Lim, "Analysis of attack models via unified modeling language in wireless sensor networks: A survey study," in Proc. IEEE Int. Conf. Wireless Commun., Netw. Inf. Secur. (WCNIS), Beijing, China, Jun. 2010, pp. 692-696.
21. P. Völgyesi, M. Maróti, S. Dóra, E. Osses, and A. Lédeczi, "Software composition and verification for sensor networks," Sci. Comput. Program., vol. 56, no. 1, pp. 191-210, Apr. 2005.
22. H. Wada, P. Boonma, J. Suzuki, and K. Oba, "Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine," in Proc. 11th Int. Conf. Softw. Eng. Appl. (IASTED), 2007, pp. 216-225.
23. J. K. Jacoub, R. Liscano, J. S. Bradbury, and J. Fisher, "UML modelling of design patterns for wireless sensor networks," in Proc. 2nd Int. Conf. Sensor Netw. (SENSORNETS), 2013, pp. 89-93.
24. D. Alur and D. L. Rajeev, "Automata-theoretic verification of realtime systems," in Formal Methods for Real-Time Computing (Trends in Software Series), vol. 27. New York, NY, USA: Wiley, 1996, pp. 55-82.
25. F. Heidarian, J. Schmaltz, and F. Vaandrager, "Analysis of a clock synchronization protocol for wireless sensor networks," Theor. Comput. Sci., vol. 413, no. 1, pp. 87-105, 2012.s
26. Y. Chen, Z. Li, and M. Zhou, "Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 549-563, Apr. 2014.
27. M. Hammad and J. Cook, "Compositional verification of sensor software using UPPAAL," in Proc. IEEE 23rd Int. Symp. Softw. Rel. Eng., Nov. 2012, pp. 351-360.
28. J. Green, S. Bhattacharyya, and B. Panja, "Real-time logic verification of a wireless sensor network," in Proc. World Congr. Comput. Sci. Inf. Eng., Washington, DC, USA, Mar./Apr. 2009, pp. 269-273.
29. Y. F. Chen, Z. W. Li, and K. Barkaoui, "New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 10, pp. 1384-1400, 2014.
30. J. Ye, Z. Li, and A. Giua, "Decentralized supervision of Petri nets with a coordinator," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 6, pp. 955-966, Jun. 2015.
31. P. Li and J. Regehr, "T-check: Bug finding for sensor networks," in Proc. 9th ACM IEEE Int. Conf. Inf. Process. Sensor Netw., New York, NY, USA, 2010, pp. 174-185.
32. Y. Ben Maissa, F. Kordon, S. Mouline, and Y. Thierry-Mieg, "Modeling and analyzing wireless sensor networks with VeriSensor: An integrated workflow," in Transactions on Petri Nets and Other Models of Concurrency VIII (Lecture Notes in Computer Science), vol. 8100. Heidelberg, Germany: Springer, 2013, pp. 24-47.
33. M. Samek, Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. San Francisco, CA, USA: CMP Books, Imprint of CMP Media LLC, 2003.
34. H. Grichi, O. Mosbahi, and M. Khalgui, "Formal specification and verification of reconfigurable wireless sensor networks," in Proc. 12th Int. Multi-Conf. Syst., Signals Devices (SSD), Mahdia, Tunisia, Mar. 2015, pp. 198-206.
35. A. Mouradian and I. Augé-Blum, "Modeling local broadcast behavior of wireless sensor networks with timed automata for model checking of WCTT," in Proc. 2nd Int. Workshop Worst-Case Traversal Time (WCTT), New York, NY, USA, 2012, pp. 23-30.