A Development Tool Chain for Reconfigurable WSNs
15th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT), 2016-9-13 ~ 2016-9-15, pp 101-114, 2016
This paper deals with reconfigurable wireless sensor networks (RWSN) in which a reconfiguration scenario is assumed to be any run-time adaptation of the software execution according to user requirements. We present a Reconfigurable Wireless Network Environment (RWiN-Environment) which is a visual tool allowing for designers to develop RWSN by starting from the initial specification and modeling of the architecture, then the required formal verification based on UPPAAL to verify temporal and functional properties described in user requirements. RWiN-Environment allows also the software design as well as the constraints validation by using an extension of OCL for optimization. The last step in the development process deals with the code generation and also the final deployment on STM32F4-based WSN. The developed tool is applied to a simulated case study in order to control an irrigation system in the agriculture domain.
Reconfigurable wireless sensor network; Modeling; Verification; Validation; Simulation; OCL; Deployment; Code generation