Verifiable and resource-aware component model for IoT devices

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.