MOZART: Design and Deployment of Advanced IoT Applications

Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
2020 Companion Proceedings of the Web Conference 2020  
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
more » ... plications. 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. CCS CONCEPTS • Software and its engineering → Graphical user interface languages; Formal software verification.
doi:10.1145/3366424.3383532 dblp:conf/www/0001PM0S20 fatcat:hyjphk3btvg2vkqn7ru24m2fje