MOZART: Design and Deployment of Advanced IoT Applications - Archive ouverte HAL Access content directly
Conference Papers Year :

MOZART: Design and Deployment of Advanced IoT Applications

(1) , (2) , (1) , (1) , (1)


The Internet of Things (IoT) aims at sensing and altering our surrounding environment through connected objects to improve everyday life. IoT applications are built using interconnected objects with a goal to provide added-value services. However, there are still challenges in providing a secure, robust and easy-to-use end-user platform for development of such applications. In this paper, we present a end-user tool for supporting the design and deployment of smart home IoT applications. The tool first provides a graphical user interface to specify an IoT application using a rule-based composition language. Automated analysis techniques can then be called for verifying that the designed application is correct (e.g., free of deadlocks). Finally, the tool provides a rule execution engine to support application deployment. The tool is built by implementing a set of components on top of Mozilla WebThings platform, which is a concrete implementation of W3C's Web of Things specification.
Fichier principal
Vignette du fichier
main-web-preprint.pdf (724.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02554029 , version 1 (24-04-2020)



Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün. MOZART: Design and Deployment of Advanced IoT Applications. WWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩. ⟨hal-02554029⟩
289 View
227 Download



Gmail Facebook Twitter LinkedIn More