AGGREGATE PROGRAMMING FOR THE INTERNET OF THINGS

In the last years the number, pervasiveness and variety of interconnected devices has been constantly increasing. This network, commonly referred as the Internet of Things (IoT), is composed of numerous and different devices. In particular the Industrial IoT (IIoT) applies the IoT concepts to the industry to attempt to increase productivity, improve safety and reduce cost in the new generation manufacturing plants. Aggregate Programming (AP) is a paradigm that aims to simplify the development of distributed applications for resource-constrained IoT devices by focusing on treating a dynamic network of devices as a cooperative collection. In this thesis we present the work done to apply for the first time the Aggregate Programming, and in particular its implementation FCPP, to real world IoT devices. We developed the support to run FCPP on the DWM1001 general-purpose system on a chip: an IoT module with Ultra Wideband (UWB) and Bluetooth Low Energy (BLE) communication capabilities, using the Contiki-NG operative system. We also developed a case study of smart warehousing using the Aggregate Programming paradigm. In this case study the warehouse operators perform loading and unloading of pallets of goods on the paths guided by an aggregate program. The program also provides warnings to prevent collisions between forklifts and collects logs of all the operations performed in the warehouse. The implementation of the case study was tested with both simulations and a small scale laboratory experiment, proving that the hardware is capable of running aggregate programs.