RWiN: New Methodology for the Development of Reconfigurable WSN

This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by nested state machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper’s contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

[1]  Olfa Mosbahi,et al.  R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  Volodymyr Kindratenko,et al.  Mapping a sensor interface and a reconfigurable communication system to an FPGA core , 2005 .

[3]  MengChu Zhou,et al.  Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.

[4]  Zhiwu Li,et al.  Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[5]  MengChu Zhou,et al.  Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.

[6]  Andreas Willig,et al.  TWIST: a scalable and reconfigurable testbed for wireless indoor experiments with sensor networks , 2006, REALMAN '06.

[7]  Kieran Delaney,et al.  Development of field programmable modular wireless sensor network nodes for ambient systems , 2005, Comput. Commun..

[8]  Mustafa Hammad,et al.  Compositional Verification of Sensor Software Using Uppall , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

[9]  Olfa Mosbahi,et al.  New Flexible Architectures for Reconfigurable Wireless Sensor Networks , 2014, ICSOFT.

[10]  R. Gadh,et al.  Wireless Industrial Monitoring and Control Using a Smart Sensor Platform , 2007, IEEE Sensors Journal.

[11]  Carlo Fischione,et al.  System Level Design for Clustered Wireless Sensor Networks , 2007, IEEE Transactions on Industrial Informatics.

[12]  Charles R. Farrar,et al.  An efficient signal processing tool for impedance-based structural health monitoring , 2009, Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring.

[13]  Quan Pan,et al.  A Biologically Inspired Sensor Wakeup Control Method for Wireless Sensor Networks , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[14]  Naoki Wakamiya,et al.  Design methodology of a wireless sensor network architecture for urgent information transmission , 2007, WICON '07.

[15]  Nitaigour P. Mahalik,et al.  Sensor Networks and Configuration: Fundamentals, Standards, Platforms, and Applications , 2006 .

[16]  Shuvra S. Bhattacharyya,et al.  Real-Time Logic Verification of a Wireless Sensor Network , 2009, 2009 WRI World Congress on Computer Science and Information Engineering.

[17]  Hairong Qi,et al.  Modeling mobile-agent-based collaborative processing in sensor networks using generalized stochastic Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[18]  Miklós Maróti,et al.  Software composition and verification for sensor networks , 2005, Sci. Comput. Program..

[19]  Wei Meng,et al.  Distributed energy-based multi-source localization in wireless sensor network , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[20]  Sunho Lim,et al.  Analysis of attack models via Unified Modeling Language in Wireless Sensor Networks: A survey study , 2010, 2010 IEEE International Conference on Wireless Communications, Networking and Information Security.

[21]  Zhiwu Li,et al.  Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation , 2011, IEEE Transactions on Computers.

[22]  Lili Yang.  Determining Sink Node Locations in Wireless Sensor Networks , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[23]  Olfa Mosbahi,et al.  Formal specification and verification of reconfigurable wireless sensor networks , 2015, 2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15).

[24]  Alexandre Mouradian,et al.  Modeling local broadcast behavior of wireless sensor networks with timed automata for model checking of WCTT , 2012, WCTT '12.

[25]  Kamel Barkaoui,et al.  New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[26]  Fabrice Kordon,et al.  Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow , 2013, Trans. Petri Nets Other Model. Concurr..

[27]  Frits W. Vaandrager,et al.  Analysis of a clock synchronization protocol for wireless sensor networks , 2009, Theor. Comput. Sci..

[28]  Jianqiang Luo,et al.  Reconfiguration Cost Analysis Based on PetriNet for Manufacturing System , 2009, J. Softw. Eng. Appl..

[29]  Mehul Motani,et al.  Intelligent network design: User Layer architecture and its application , 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.

[30]  Bang Wang,et al.  Multiple dynamic range image coding for wireless sensor networks , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[31]  Miro Samek,et al.  Practical statecharts in C/C++: Quantum programming for embedded systems , 2002 .

[32]  Jeremy S. Bradbury,et al.  UML Modelling of Design Patterns for Wireless Sensor Networks , 2013, SENSORNETS.

[33]  Peng Li,et al.  T-check: bug finding for sensor networks , 2010, IPSN '10.

[34]  Junichi Suzuki,et al.  Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine , 2007, ICSE 2007.