Skip to Main content Skip to Navigation
Conference papers

MOZART: Design and Deployment of Advanced IoT Applications

Ajay Krishna 1 Michel Le Pallec 2 Alejandro Martinez 1 Radu Mateescu 1 Gwen Salaün 1 
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Ajay Krishna Connect in order to contact the contributor
Submitted on : Friday, April 24, 2020 - 9:00:29 PM
Last modification on : Wednesday, July 6, 2022 - 4:15:19 AM


Files produced by the author(s)



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⟩



Record views


Files downloads