Verifiable and Resource-Aware Component Model for IoT Devices - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Verifiable and Resource-Aware Component Model for IoT Devices

Arthur Gatouillat
Youakim Badr

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
171 Consultations
116 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More