A Development Tool Chain for Reconfigurable WSNs

Frontiers in Artificial Intelligence and Applications

Volumn 286, Issue , 2016, Pages 101-114

  Grichi, Hanen ^a,b   Mosbahi, Olfa ^a   Khalgui, Mohamed ^a,c  

^a UNIVERSITY OF CARTHAGE   (Tunisia)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Code generation; Deployment; Modeling; OCL; Reconfigurable wireless sensor network; Simulation; Validation; Verification

Indexed keywords

DATA MINING; FORMAL VERIFICATION; INTELLIGENT SYSTEMS; NETWORK CODING; SOFTWARE DESIGN;

CODEGENERATION; DEPLOYMENT; MODELING; OCL; RECONFIGURABLE; RECONFIGURABLE WIRELESS SENSOR NETWORK; SIMULATION; USER REQUIREMENTS; VALIDATION; WIRELESS NETWORK ENVIRONMENT;

WIRELESS SENSOR NETWORKS;

EID: 85116168848     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-674-3-101     Document Type: Conference Paper

References (19)

1. Y. Lu, M. Motani, and W. Wong, “Intelligent network design: User layer architecture and its application,” in Proceedings of the 2010 IEEE International Conference on Systems Man and Cybernetics (SMC), (Istanbul), pp. 1286–1292, Oct 2010.
2. H. Du, H. Qi, and G. Peterson, “Modeling mobile-agent-based collaborative processing in sensor networks using generalized stochastic petri nets,” in IEEE International Conference on Systems, Man and Cybernetics, 2003., vol. 1, pp. 563–568 vol.1, Oct 2003.
3. L. Z. J. Chen and J. Luo, “Reconfiguration cost analysis based on petrinet for manufacturing system,” Software Engineering Applications, vol. 8, no. 2, pp. 361–369, 2009.
4. J. Zhang, M. Khalgui, Z. Li, O. Mosbahi, and A. Al-Ahmari, “R-tnces: A novel formalism for reconfigurable discrete event control systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43, pp. 757–772, July 2013.
5. V. Kindratenko and D. Pointer, “Mapping a sensor interface and a reconfigurable communication system to an fpga core,” Sensor Letters, vol. 3, pp. 174– 178, 2005.
6. V. Handziski, A. Kopke, A. Willig, and A. Wolisz, “Twist: A scalable and reconfigurable wireless sensor network,” in Proceedings of the 2nd international conference on Multi-hop ad hoc networks: from theory to reality, (New York, USA), pp. 63–70, ACM, Digital Libraby, 2006.
7. H.Grichi, O.Mosbahi, and M.Khalgui, “Reconfigurable wireless sensor networks: New adaptive dynamic solutions for flexible architectures,” in Proceedings of the 9th International Conference on Software Engineering and Applications, ICSOFT EA, (Vienne, Austria), pp. 254 – 265, August 2014.
8. H.Grichi, O.Mosbahi, and M.Khalgui, “Formal specification and verification of reconfigurable wireless sensor networks,” in Proceedings of the 12th International Multi-Conference on Systems, Signals Devices: Conference on Computers Information Technology (SSD15), (Mahdia,Tunisia), pp. 198–206, March 2015.
9. M. Hammad and J. Cook, “Compositional verification of sensor software using uppaal,” vol. 6, pp. 1–6., 2009.
10. H. Hu, M. Zhou, Z. Li, and Y. Tang, “An optimization approach to improved petri net controller design for automated manufacturing systems,” IEEE T. Automation Science and Engineering, vol. 10, no. 3, pp. 772–782, 2013.
11. J. Ye, Z. Li, and A.Giua, “Decentralized supervision of petri nets with a coordinator,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, pp. 955–966, June 2015.
12. P.Li and J.Regehr, “T-check: Bug finding for sensor networks,” in Proccedings of the 9th ACM IEEE International Conference Information Processing in Sensor Networks, (New York, NY, USA), pp. 174–185, 2010.
13. W. Dzidek, E. Arisholm, and L. Briand, “A realistic empirical evaluation of the costs and benefits of uml in software maintenance,” IEEE Transactions on Software Engineering,, vol. 34, pp. 407–432, May 2008.
14. R. Bendraou, J. Jezequel, M.-P. Gervais, and X. Blanc, “A comparison of six uml-based languages for software process modeling,” IEEE Transactions on Software Engineering,, vol. 36, pp. 662–675, Sept 2010.
15. L. Tan, Z. Yang, and J. Xie, “Ocl constraints automatic generation for uml class diagram,” in Porceedings of the IEEE International Conference on Software Engineering and Service Sciences (ICSESS), (Beijing, China), pp. 392–395, July 2010.
16. T. Baar, “On the need of user-defined libraries in OCL,” Electronic Communication of the European Association of Software Science and Technology ECEASST, vol. 36, no. 9, 2010.
17. H.Grichi, O.Mosbahi, and M.Khalgui, “Rocl: New extensions to ocl for useful verification of flexible software systems,” in Proceedings of the 10th International Conference on Software Engineering and Applications, ICSOFT EA, (Colamr, France), pp. 45–52, July 2015.
18. M. Gogolla, F. Büttner, and M. Richters, “USE: A uml-based specification environment for validating UML and OCL,” Sci. Comput. Program., vol. 69, no. 1-3, pp. 27–34, 2007.
19. X. Zeng, R. Bagrodia, and M. Gerla, “Glomosim: a library for parallel simulation of large-scale wireless networks,” in Proceedings of Twelfth Workshop on Parallel and Distributed Simulation, PADS 98, pp. 154–161, May 1998.