R-MOZART: A Reconfiguration Tool for WebThings Applications

The Internet of Things consists of devices and software interacting altogether in order to build powerful and added-value services. One of the main challenges in this context is to help end-users to design such applications by providing simple, user-friendly and automated techniques for guiding them during this process. Given the dynamicity of IoT applications, these techniques should consider that these applications are in most cases not built once and for all. They can evolve over time and objects may be added or removed for several reasons (replacement, loss of connectivity, upgrade, failure, etc.). In this paper, we propose new techniques for supporting the reconfiguration of running IoT applications. These techniques aim at comparing two versions of the application (before and after reconfiguration) to check if several properties of interest from a reconfiguration perspective are preserved. The analysis techniques for supporting reconfiguration have been implemented using the Maude framework and integrated into the Mozilla WebThings platform for application on real-world examples.