Verifiable and Resource-Aware Component Model for IoT Devices - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Verifiable and Resource-Aware Component Model for IoT Devices

Arthur Gatouillat
Youakim Badr


Most connected objects feature very limited capabilities that present challenges in terms of data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things devices also causes interoperability problems. These limitations lead to strong hard- ware and software constraints that must be considered as early as possible during the design process. In this paper, we introduce a smart object component-based model to build complex smart objects by composition mechanisms in a similar way to Web service compositions. The smart object model extends artifact types and describes its structure and behavior in terms of attribute value pair, state-based lifecycle and services. Moreover, we propose a formal specification based on the intuitive multiplicative segment of intuitionistic linear logic not only to express consumable resources but also to automate composition from logical proofs.
Fichier principal
Vignette du fichier
medes.pdf (732.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01619270 , version 1 (06-02-2019)



Arthur Gatouillat, Youakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices. 9th International Conference on Management of Digital EcoSystems (MEDES), Nov 2017, Bangkok, Thailand. pp.235-242, ⟨10.1145/3167020.3167056⟩. ⟨hal-01619270⟩
173 View
118 Download



Gmail Mastodon Facebook X LinkedIn More