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

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
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.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
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
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.

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. 153168.
    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. 6197.
    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. 18.
    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. 120124.
    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. 230235.
    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. 207214.
    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. 2229.
    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. 21802191.
    13. 13)
      • 23. Beckmann, C., Dey, A.: ‘Siteview: tangibly programming active environments with predictive visualization’. Adjunct Proc. UbiComp, Seattle, WA, USA, 2003, pp. 167168.
    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. 95115.
    15. 15)
      • 28. Buono, P., Costabile, M.F., Covino, E., et al: ‘A visual tool for multidimensional data analysis’, 2005, pp. 333338.
    16. 16)
      • 17. Atzori, L., Iera, A., Morabito, G.: ‘The internet of things: A survey’, Comput. Netw., 2010, 54, (15), pp. 27872805.
    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. 10291046.
    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. 924.
    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. 373376.
    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. 484489.
    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. 186191.
    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. 684694.
    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. 237264.
    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. 7890.
    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. 313322.
    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. 167181.
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
This is a required field
Please enter a valid email address