EUDroid: a formal language specifying the behaviour of IoT devices

EUDroid: a formal language specifying the behaviour of IoT devices

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.


    1. 1)
      • 1. Burnett, M.M., Scaffidi, C.: ‘End-user development’, in Zahirovic, A., Lowgren, J., Carroll, J. (Eds.): ‘Encyclopedia of human-computer interaction’ (2011).
    2. 2)
      • 2. Scaffidi, C., Shaw, M., Myers, B.: ‘Estimating the numbers of end users and end user programmers’. 2005 IEEE Symp. Visual Languages and Human-Centric Computing, Dallas, TX, USA, 2005, pp. 207214.
    3. 3)
      • 3. Cabitza, F., Fogli, D., Piccinno, A.: ‘Fostering participation and co-evolution in sentient multimedia systems’, Journal of Visual Languages and Computing, 2014, 25, (6), pp. 684694.
    4. 4)
      • 4. Fogli, D., Piccinno, A.: Co-evolution of End-User Developers and Systems in Multi-tiered Proxy Design Problems, Lecture Notes in Computer Science, (Springer, Berlin Heidelberg, 2013), 7897, pp. 153168.
    5. 5)
      • 5. Lieberman, H., Paternò, F., Klann, M., et al: ‘End-user development: an emerging paradigm’, in Lieberman, H., Paternò, F., Wulf, V. (Eds.): ‘End user development’ (Springer, Dordrecht, Netherlands, 2006), pp. 18.
    6. 6)
      • 6. Fischer, G., Fogli, D., Piccinno, A.: ‘Revisiting and broadening the meta-design framework for end-user development’, in Paternò, F., Wulf, V. (Eds.): ‘New perspectives in enduser development’ (Springer, Cham, Germany, 2017), pp. 6197.
    7. 7)
      • 7. Bartolomeo, M.: ‘Internet of things: science fiction or business fact’. A Harvard Business Review Analytic Services Report, Technical Report, 2014.
    8. 8)
      • 8. Crema, C., Depari, A., Flammini, A., et al: ‘A smartphone-enhanced pill-dispenser providing patient identification and in-take recognition’. 2015 IEEE Int. Symp. Medical Measurements and Applications (MeMeA), Torino, Italy, 2015, pp. 484489.
    9. 9)
      • 9. Dong, H., Vanns, N.: ‘Designing an innovative pill dispenser: an undergraduate level case study of inclusive design’, Design J., 2009, 12, (1), pp. 95115.
    10. 10)
      • 10. Yang, G., Xie, L., Mäntysalo, M., et al: ‘A health-IoT platform based on the integration of intelligent packaging, unobtrusive bio-sensor, and intelligent medicine box’, IEEE Trans. Ind. Inf., 2014, 10, (4), pp. 21802191.
    11. 11)
      • 11. Buono, P., Cassano, F., Legretto, A., et al: ‘A homemade pill dispenser prototype supporting elderly’. Int. Conf. Web Engineering, Rome, Italy, 2017, pp. 120124.
    12. 12)
      • 12. Ardito, C., Buono, P., Costabile, M.F., et al: ‘End users as co-designers of their own tools and products’, J. Vis. Lang. Comput., 2012, 23, (2), pp. 7890.
    13. 13)
      • 13. Costabile, M.F., Fogli, D., Mussio, P., et al: ‘Visual interactive systems for end-user development: a model-based design methodology’, IEEE Trans. Syst. Man Cybern. A, Syst. Humans, 2007, 37, (6), pp. 10291046.
    14. 14)
      • 14. Daniel, F., Matera, M., Weiss, M.: ‘Next in mashup development: user-created apps on the web’, IT Prof., 2011, 13, (5), pp. 2229.
    15. 15)
      • 15. Lucci, G., Paternò, F.: ‘Analysing how users prefer to model contextual event-action behaviours in their smartphones’. Int. Symp. End User Development, Madrid, Spain, 2015, pp. 186191.
    16. 16)
      • 16. Piccinno, A., Fogli, D., Lanzilotti, R., et al: ‘Supporting end users to control their smart home: design implications from a literature review and an empirical investigation’, J. Syst. Softw., in print.
    17. 17)
      • 17. Atzori, L., Iera, A., Morabito, G.: ‘The internet of things: A survey’, Comput. Netw., 2010, 54, (15), pp. 27872805.
    18. 18)
      • 18. Ceri, S., Daniel, F., Matera, M., et al: ‘Modeldriven development of context-aware web applications’, ACM Trans. Internet Technol. (TOIT), 2007, 7, (1), p. 2.
    19. 19)
      • 19. Daniel, F., Matera, M., Pozzi, G.: ‘Managing runtime adaptivity through active rules: the Bellerofonte framework’, J. Web Eng., 2008, 7, (3), p. 179.
    20. 20)
      • 20. Pane, J.F., Ratanamahatana, C., Myers, B.A.: ‘Studying the language and structure in non-programmers’ solutions to programming problems’, Int. J. Hum.-Comput. Stud., 2001, 54, (2), pp. 237264.
    21. 21)
      • 21. Desolda, G., Ardito, C., Matera, M.: ‘Empowering end users to customize their smart environments: model, composition paradigms, and domain-specific tools’, ACM Trans. Comput.-Human Interact. (TOCHI), 2017, 24, (2), p. 12.
    22. 22)
      • 22. Bellucci, A., Díaz, P., Aedo, I., et al: ‘Prototyping device ecologies: physical to digital and viceversa’. Proc. 8th Int. Conf. Tangible, Embedded and Embodied Interaction, Munich, Germany, 2014, pp. 373376.
    23. 23)
      • 23. Beckmann, C., Dey, A.: ‘Siteview: tangibly programming active environments with predictive visualization’. Adjunct Proc. UbiComp, Seattle, WA, USA, 2003, pp. 167168.
    24. 24)
      • 24. Ghiani, G., Manca, M., Paternò, F.: ‘Authoring context-dependent cross-device user interfaces based on trigger/action rules’. Proc. 14th Int. Conf. Mobile and Ubiquitous Multimedia, Linz, Austria, 2015, pp. 313322.
    25. 25)
      • 25. Barricelli, B.R., Valtolina, S.: ‘Designing for end-user development in the internet of things’. Int. Symp. End User Development, Madrid, Spain,, 2015, pp. 924.
    26. 26)
      • 26. Kubitza, T., Schmidt, A.: ‘Towards a toolkit for the rapid creation of smart environments’. Int. Symp. End User Development, Madrid, Spain, 2015, pp. 230235.
    27. 27)
      • 27. Zancanaro, M., Not, E., Petrelli, D., et al: ‘Recipes for tangible and embodied visit experiences’, 2015.
    28. 28)
      • 28. Buono, P., Costabile, M.F., Covino, E., et al: ‘A visual tool for multidimensional data analysis’, 2005, pp. 333338.
    29. 29)
      • 29. Almeida, E.E., Luntz, J.E., Tilbury, D.M.: ‘Event-condition-action systems for reconfigurable logic control’, IEEE Trans. Autom. Sci. Eng., 2007, 4, (2), pp. 167181.

Related content

This is a required field
Please enter a valid email address