Design and Deployment of Expressive and Correct Web of Things Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Internet of Things Année : 2022

Design and Deployment of Expressive and Correct Web of Things Applications

Résumé

Consumer Internet of Things (IoT) applications are largely built through end-user programming in the form of event-action rules. Although, end-user tools help simplify the building of IoT applications to a large extent, there are still challenges in developing expressive applications in a simple yet correct fashion. In this context, we propose a formal development framework based on the Web of Things specification. An application is defined using a composition language which allows users to compose the basic event-action rules to express complex scenarios. It is transformed into a formal specification which serves as the input for formal analysis, where the application is checked for functional and quantitative properties at design time using model checking techniques. Once the application is validated, it can be deployed and the rules are executed following the composition language semantics. We have implemented these proposals in a tool built on top of Mozilla WebThings platform. The steps from design to deployment were validated on real-world applications.
Fichier principal
Vignette du fichier
main-acm-iot.pdf (3.56 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03495593 , version 1 (20-12-2021)

Licence

Paternité

Identifiants

Citer

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. Design and Deployment of Expressive and Correct Web of Things Applications. ACM Transactions on Internet of Things, 2022, 3, pp.1 - 30. ⟨10.1145/3475964⟩. ⟨hal-03495593⟩
124 Consultations
129 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More