EUDroid: a formal language specifying the behaviour of IoT devices

Recent technologies are offering today many possibilities to end users, which ask for continuous support in a variety of situations. Internet of things (IoTs) and the proliferation of smart devices are offering many opportunities that raise the need to standardise protocols for their interoperability and interaction languages for their management. This study proposes EUDroid, a system composed of a mobile application and an IoT device used as a pill reminder to allow the patients to correctly take their prescribed drugs. A web server stores and manages the therapies that can be defined by the end users. The web server also manages the communication between the app and the device. In order to validate the management of the therapies, a formal language has been proposed. It describes the behaviour of different components of the IoT device, such as LEDs or buzzers, and defines when, with which delay, and for how long time a given event will last, to manage technical concepts related to smart devices for supporting them in following therapies more accurately.