Design and Deployment of Expressive and Correct Web of Things Applications - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Internet of Things Year : 2022

Design and Deployment of Expressive and Correct Web of Things Applications

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
72 View
57 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More