Trustworthy Composition and Deployment of IoT Applications

The Internet of Things (IoT) is the network of physical devices and software entities that are connected together in order to exchange information and to fulfill an overall objective. However, developing applications in the IoT context is a very ambitious objective, because IoT applications involve several characteristics, such as distribution, dynamicity, and heterogeneity, which make their design, development, and maintenance through reconfiguration very complicated. In this paper, we focus on the composition of objects for building powerful and added-value service-based applications. Our approach aims at supporting the composition and deployment of objects in the context of an IoT application. Objects are modelled using an interface description model integrating a behavioural specification of the object functionality. We also provide validation techniques for verifying that the composition is correct. If this is the case, a deployment plan is generated for automating the instantiation of all objects involved in the composition. All these steps can be achieved using a prototype tool we implemented.