Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

access icon free EUDroid: a formal language specifying the behaviour of IoT devices

© The Institution of Engineering and Technology
Received 05/12/2017, Accepted 30/05/2018, Revised 03/05/2018, Published 05/06/2018

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.

Inspec keywords: Internet; formal languages; Internet of Things; mobile computing

Other keywords: formal language; IoTs; smart devices; end users; interoperability; interaction languages; web server stores; EUDroid; IoT device; continuous support; recent technologies

Subjects: Information networks; Mobile radio systems; Computer communications

References

    1. 1)
      • 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. 153–168.
    2. 2)
      • 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. 61–97.
    3. 3)
      • 1. Burnett, M.M., Scaffidi, C.: ‘End-user development’, in Zahirovic, A., Lowgren, J., Carroll, J. (Eds.): ‘Encyclopedia of human-computer interaction’ (2011).
    4. 4)
      • 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.
    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. 1–8.
    6. 6)
      • 11. Buono, P., Cassano, F., Legretto, A., et al: ‘A homemade pill dispenser prototype supporting elderly’. Int. Conf. Web Engineering, Rome, Italy, 2017, pp. 120–124.
    7. 7)
      • 27. Zancanaro, M., Not, E., Petrelli, D., et al: ‘Recipes for tangible and embodied visit experiences’, 2015.
    8. 8)
      • 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.
    9. 9)
      • 26. Kubitza, T., Schmidt, A.: ‘Towards a toolkit for the rapid creation of smart environments’. Int. Symp. End User Development, Madrid, Spain, 2015, pp. 230–235.
    10. 10)
      • 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. 207–214.
    11. 11)
      • 14. Daniel, F., Matera, M., Weiss, M.: ‘Next in mashup development: user-created apps on the web’, IT Prof., 2011, 13, (5), pp. 22–29.
    12. 12)
      • 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. 2180–2191.
    13. 13)
      • 23. Beckmann, C., Dey, A.: ‘Siteview: tangibly programming active environments with predictive visualization’. Adjunct Proc. UbiComp, Seattle, WA, USA, 2003, pp. 167–168.
    14. 14)
      • 9. Dong, H., Vanns, N.: ‘Designing an innovative pill dispenser: an undergraduate level case study of inclusive design’, Design J., 2009, 12, (1), pp. 95–115.
    15. 15)
      • 28. Buono, P., Costabile, M.F., Covino, E., et al: ‘A visual tool for multidimensional data analysis’, 2005, pp. 333–338.
    16. 16)
      • 17. Atzori, L., Iera, A., Morabito, G.: ‘The internet of things: A survey’, Comput. Netw., 2010, 54, (15), pp. 2787–2805.
    17. 17)
      • 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. 1029–1046.
    18. 18)
      • 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. 9–24.
    19. 19)
      • 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. 373–376.
    20. 20)
      • 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. 484–489.
    21. 21)
      • 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. 186–191.
    22. 22)
      • 19. Daniel, F., Matera, M., Pozzi, G.: ‘Managing runtime adaptivity through active rules: the Bellerofonte framework’, J. Web Eng., 2008, 7, (3), p. 179.
    23. 23)
      • 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. 684–694.
    24. 24)
      • 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. 237–264.
    25. 25)
      • 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. 78–90.
    26. 26)
      • 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.
    27. 27)
      • 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. 313–322.
    28. 28)
      • 7. Bartolomeo, M.: ‘Internet of things: science fiction or business fact’. A Harvard Business Review Analytic Services Report, Technical Report, 2014.
    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. 167–181.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2017.0347
Loading

Related content

content/journals/10.1049/iet-sen.2017.0347
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address