HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Seamless Reconfiguration of Rule-Based IoT Applications

Abstract : The Internet of Things (IoT) 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 support end-users with simple, user-friendly, and automated techniques to design such applications. 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 compare 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 have been implemented using the Maude framework and integrated into the WebThings platform.
Document type :
Conference papers
Complete list of metadata

Contributor : Ajay Krishna Connect in order to contact the contributor
Submitted on : Tuesday, June 8, 2021 - 4:16:22 PM
Last modification on : Friday, February 4, 2022 - 3:24:22 AM
Long-term archiving on: : Thursday, September 9, 2021 - 8:05:50 PM


Files produced by the author(s)


  • HAL Id : hal-03254192, version 1


Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. Seamless Reconfiguration of Rule-Based IoT Applications. SEAMS 2021 - 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2021, Madrid / Virtual, Spain. pp.142-148. ⟨hal-03254192⟩



Record views


Files downloads