top of page
New Solutions for Reconfigurable Wireless Sensor Networks
RWSN Architecture Tool
Deployment of RWSN architecture with RWiN-Environment
Services
RWiN Environment
Temporal Verification Tool
Formal Verification of RWSN architecture with RWiN-Environment
Simulation Tool​
Simulation phase of RWiN-Methodology, by the definition of the Reconfigurable Scenarios, simulated by RWiN-Environment
Implementation Tool​
Implementation phase of RWiN-Methodology, using RWiN-Environment and two STM32F4 Microcontrollers
Reconfigurable OCL Tool
Validation of temporal constraints of the RWSN meta-model, by using the defined ROCL, in the RWiN-Environment
Generation Code Tool​
Generation code of RWSN architecture, according to the meta-model, using RWiN-Environment
RWiN-Project
bottom of page