Open AccessEUDroid: a formal language specifying the behaviour of IoT devices
Author(s) -
Buono Paolo,
Cassano Fabio,
Legretto Alessandra,
Piccinno Antonio
Publication year - 2018
Publication title -
iet software
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.305
H-Index - 43
eISSN - 1751-8814
pISSN - 1751-8806
DOI - 10.1049/iet-sen.2017.0347
Subject(s) - interoperability , computer science , internet of things , variety (cybernetics) , mobile device , event (particle physics) , world wide web , computer security , physics , quantum mechanics , artificial intelligence
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.