Verified Composition and deployment of IoT applications

The Internet of Things (IoT) is a network of physical devices and software entities that are connected together in order to exchange information and to fulfil 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 successful, a deployment plan is generated for automating the instantiation of all objects involved in the composition. All these steps are performed using a prototype tool we implemented.