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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-02554029
Contributor : Ajay Krishna <>
Submitted on : Friday, April 24, 2020 - 9:00:29 PM
Last modification on : Thursday, April 30, 2020 - 8:53:59 AM

File

main-web-preprint.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

59

Files downloads

150