Verifiable and resource-aware component model for IoT devices

Arthur Gatouillat, Youakim Badr

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 hardware 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.

Original languageEnglish (US)
Title of host publication9th International Conference on Management of Digital EcoSystems, MEDES 2017
PublisherAssociation for Computing Machinery, Inc
Pages235-242
Number of pages8
ISBN (Electronic)9781450348959
DOIs
Publication statusPublished - Nov 7 2017
Event9th International Conference on Management of Digital EcoSystems, MEDES 2017 - Bangkok, Thailand
Duration: Nov 7 2017Nov 9 2017

Publication series

Name9th International Conference on Management of Digital EcoSystems, MEDES 2017
Volume2017-January

Conference

Conference9th International Conference on Management of Digital EcoSystems, MEDES 2017
CountryThailand
CityBangkok
Period11/7/1711/9/17

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computer Graphics and Computer-Aided Design
  • Computer Networks and Communications
  • Environmental Engineering

Cite this

Gatouillat, A., & Badr, Y. (2017). Verifiable and resource-aware component model for IoT devices. In 9th International Conference on Management of Digital EcoSystems, MEDES 2017 (pp. 235-242). (9th International Conference on Management of Digital EcoSystems, MEDES 2017; Vol. 2017-January). Association for Computing Machinery, Inc. https://doi.org/10.1145/3167020.3167056