Skip to main content
SpringerLink
Log in

Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system

  • Special Issue Article
  • Published:
Computing Aims and scope Submit manuscript

Abstract

The aging of the world population and its serious consequences have made the development of systems adapted to the needs of seniors an absolute necessity. In recent years, technological improvements have favored the development of efficient healthcare systems, comprising several tiny and very efficient devices that can collect several data (videos, images, scalars, etc.) related to the activity and health of older adults. However, deploying such critical and complex systems raises some crucial issues, particularly security and reliability. Because they handle sensitive data, and a failure in the functioning of the process could lead to the loss of human lives. Within our developed system, named Family Heroes, we present in this paper a methodology for verifying its security and reliability in terms of correct functioning. Our proposed methodology is based on the CATWOE method for analyzing, UML and UML profile MARTE for modeling, and finally UPPAAL model checker for verification. The formal verification results of our Family Heroes System properties guarantee its security and reliability.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

Notes

  1. World Health Organization.

  2. CATWOE is the abbreviation of 6 elements of thought reflection (Customers, Actors, Transformation, Weltanschauung, Owner, Environmental constraints).

References

  1. About \(|\) UPPAAL. URL https://uppaal.org/. Accessed on 2021-10-10

  2. Ageing and health. URL https://www.who.int/news-room/fact-sheets/detail/ageing-and-health. Accessed on 2021-10-10

  3. Alur R, Dill DL (1994) A theory of timed automata. Theoret Comput Sci 126(2):183–235. https://doi.org/10.1016/0304-3975(94)90010-8

    Article  MathSciNet  MATH  Google Scholar 

  4. André C (2007) Le temps dans le profil uml marte, rapport de recherche. Université Nice Sophia Antipolis

  5. Augustsson H, Churruca K, Braithwaite J (2019) Re-energising the way we manage change in healthcare: the case for soft systems methodology and its application to evidence-based practice. BMC Health Serv Res 19(1):666. https://doi.org/10.1186/s12913-019-4508-0

    Article  Google Scholar 

  6. Behrmann G, David A, Larsen KG (2006) A tutorial on uppaal 4.0. Department of computer science, Aalborg university

  7. Bergvall-Kåreborn B, Mirijamdotter A, Basden A (2004) Basic principles of SSM modeling: an examination of CATWOE from a soft perspective. Syst Pract Action Res 17(2):55–73. https://doi.org/10.1023/B:SPAA.0000018903.18767.18

    Article  Google Scholar 

  8. Berková M, Berka Z (2018) Falls: a significant cause of morbidity and mortality in elderly people. Vnitr Lek 64(11):1076–1083

    Article  Google Scholar 

  9. Blain H, Bloch F, Borel L, Dargent-Molina P, Gauvain JB, Hewson D, Orève MJ, Kemoun G, Mourey F, Puisieux F, Rolland Y, Stephan Y (2015) Activité physique et prévention des chutes chez les personnes âgées pp. Paris : Inserm : Editions EDP Sciences (ISSN : 1264–1782)/518 pp

  10. Borelli E, Paolini G, Antoniazzi F, Barbiroli M, Benassi F, Chesani F, Chiari L, Fantini M, Fuschini F, Galassi A et al (2019) Habitat: an IOT solution for independent elderly. Sensors 19(5):1258. https://doi.org/10.3390/s19051258

    Article  Google Scholar 

  11. Bourouis A, Feham M, Bouchachia A (2011) Ubiquitous mobile health monitoring system for elderly (UMHMSE). Int J Comput Sci Inf Technol 3(3):74–82. https://doi.org/10.5121/ijcsit.2011.3306

    Article  Google Scholar 

  12. Carter B, Whittaker K, Sanders C (2019) Evaluating a telehealth intervention for urinalysis monitoring in children with neurogenic bladder. J Child Health Care 23(1):45–62. https://doi.org/10.1177/1367493518777294 (PMID: 29804471)

    Article  Google Scholar 

  13. Checkland P (2000) Soft systems methodology: a thirty year retrospective. Syst Res Behav Sci 17(S1):S11–S58

    Article  Google Scholar 

  14. Checkland PB (1989) Soft systems methodology. Hum Syst Manag 8(4):273–289. https://doi.org/10.3233/HSM-1989-8405

    Article  Google Scholar 

  15. Chuang J, Maimoon L, Yu S, Zhu H, Nybroe C, Hsiao O, Li SH, Lu H, Chen H (2016) SilverLink: smart home health monitoring for senior care. In: Zheng X, Zeng DD, Chen H, Leischow SJ (eds) Smart Health, vol 9545. Springer, Cham, pp 3–14

    Chapter  Google Scholar 

  16. Coventry L, Branley D (2018) Cybersecurity in healthcare: a narrative review of trends, threats and ways forward. Maturitas 113:48–52. https://doi.org/10.1016/j.maturitas.2018.04.008

    Article  Google Scholar 

  17. De Arriba-Pérez F, Caeiro-Rodríguez M, Santos-Gago JM (2016) Collection and processing of data from wrist wearable devices in heterogeneous and multiple-user scenarios. Sensors. https://doi.org/10.3390/s16091538

    Article  Google Scholar 

  18. Dinh A, Teng D, Chen L, Shi Y, McCrosky C, Basran J, Bello-Hass VD (2009) Implementation of a physical activity monitoring system for the elderly people with built-in vital sign and fall detection. In: 2009 Sixth international conference on information technology: new generations, pp. 1226–1231. IEEE. https://doi.org/10.1109/ITNG.2009.60

  19. Durán-Vega LA, Santana-Mancilla PC, Buenrostro-Mariscal R, Contreras-Castillo J, Anido-Rifón LE, García-Ruiz MA, Montesinos-López OA, Estrada-González F (2019) An IOT system for remote health monitoring in elderly adults through a wearable device and mobile application. Geriatrics. https://doi.org/10.3390/geriatrics4020034

    Article  Google Scholar 

  20. Fayad M, Mostefaoui A, Chouali S, Benbernou S (2019) Fall detection application for the elderly in the family heroes system. In: Proceedings of the 17th ACM international symposium on mobility management and wireless access, MobiWac ’19, p. 17–23. Association for Computing Machinery. https://doi.org/10.1145/3345770.3356738

  21. Fayad M, Mostefaoui A, Chouali S, Benbernou S (2020) Model-oriented methodology for developing a social based healthcare system. In: Proceedings of the 16th ACM symposium on QoS and Security for wireless and mobile networks, Q2SWinet ’20, p. 101–107. Association for Computing Machinery. https://doi.org/10.1145/3416013.3426452

  22. Fontan B (2008) Méthodologie de conception de systèmes temps réel et distribués en contexte uml/sysml. Ph.D. thesis, Université Paul Sabatier-Toulouse III

  23. Fuller GF (2000) Falls in the elderly. Am Fam Phys 61(7):2159 (PMID: 10779256)

    Google Scholar 

  24. Group OM, et al (2019) Uml profile for marte: Modeling and analysis of real-time embedded systems version 1.2 pp. 1–755. URL https://www.omg.org/spec/MARTE/1.2/PDF

  25. Horta ET, Lopes IC, Rodrigues JJPC (2015) Ubiquitous mhealth approach for biofeedback monitoring with falls detection techniques and falls prevention methodologies. Mobile Health. https://doi.org/10.1007/978-3-319-12817-7_3

    Article  Google Scholar 

  26. James SL, Lucchesi LR, Bisignano C, Castle CD, Dingels ZV, Fox JT, Hamilton EB, Henry NJ, Krohn KJ, Liu Z et al (2020) The global burden of falls: global, regional and national estimates of morbidity and mortality from the global burden of disease study 2017. Inj Prev 26(Supp 1):i3–i11

    Article  Google Scholar 

  27. Jang-Jaccard J, Nepal S (2014) A survey of emerging threats in cybersecurity. J Comput Syst Sci 80(5):973–993. https://doi.org/10.1016/j.jcss.2014.02.005

    Article  MathSciNet  MATH  Google Scholar 

  28. Khawandi S, Daya B, Chauvet P (2011) Implementation of a monitoring system for fall detection in elderly healthcare. Proc Comput Sci 3:216–220. https://doi.org/10.1016/j.procs.2010.12.036

    Article  Google Scholar 

  29. Kong X, Meng Z, Nojiri N, Iwahori Y, Meng L, Tomiyama H (2019) A hog-svm based fall detection IOT system for elderly persons using deep sensor. Proc Comput Sci 147:276–282. https://doi.org/10.1016/j.procs.2019.01.264

    Article  Google Scholar 

  30. Pinto S, Cabral J, Gomes T (2017) We-care: an iot-based health care system for elderly people. In: 2017 IEEE International conference on industrial technology (ICIT), pp. 1378–1383. IEEE. https://doi.org/10.1109/ICIT.2017.7915565

  31. Rachakonda L, Sharma A, Mohanty SP, Kougianos E (2019) Good-eye: a combined computer-vision and physiological-sensor based device for full-proof prediction and detection of fall of adults. In: IFIP international internet of things conference, pp. 273–288. Springer. https://doi.org/10.1007/978-3-030-43605-6_16

  32. Raiyn J (2014) A survey of cyber attack detection strategies. Int J Secur Appl 8(1):247–256. https://doi.org/10.14257/ijsia.2014.8.1.23

    Article  Google Scholar 

  33. Rumbaugh J, Jacobson I, Booch G (1999) The unified modeling language. Reference manual

  34. Santana-Mancilla PC, Anido-Rifón LE (2017) The technology acceptance of a tv platform for the elderly living alone or in public nursing homes. Int J Environ Res Public Health 14(6):617. https://doi.org/10.3390/ijerph14060617

    Article  Google Scholar 

  35. Saraubon K, Anurugsa K, Kongsakpaibul A (2018) A smart system for elderly care using iot and mobile technologies. In: Proceedings of the 2018 2nd international conference on software and e-Business, pp. 59–63. Association for Computing Machinery. https://doi.org/10.1145/3301761.3301769

  36. Selic B, Gérard S (2013) Modeling and analysis of real-time and embedded systems with UML and MARTE: developing cyber-physical systems. Elsevier. ISBN: 9780124166196

  37. Sibley KM, Voth J, Munce SE, Straus SE, Jaglal SB (2014) Chronic disease and falls in community-dwelling canadians over 65 years old: a population-based study exploring associations with number and pattern of chronic conditions. BMC Geriatr 14(1):22. https://doi.org/10.1186/1471-2318-14-22

    Article  Google Scholar 

  38. Torre D, Labiche Y, Genero M, Baldassarre MT, Elaasar M (2018) Uml diagram synthesis techniques: a systematic mapping study. In: Proceedings of the 10th international workshop on modelling in software engineering, pp. 33–40. Association for Computing Machinery. https://doi.org/10.1145/3193954.3193957

  39. Tsukiyama T (2015) In-home health monitoring system for solitary elderly. Proc Comput Sci 63:229–235. https://doi.org/10.1016/j.procs.2015.08.338

    Article  Google Scholar 

  40. United Nations, Department of Economic and Social Affairs, Population Division: World population ageing, 2019 highlights. (2019). ISBN: 978-92-1-148325-3

  41. Vasilakis C, Lecznarowicz D, Lee C (2009) Developing model requirements for patient flow simulation studies using the unified modelling language (uml). J Simul 3(3):141–149. https://doi.org/10.1057/jos.2009.3

    Article  Google Scholar 

  42. Wade S (2004) An approach to integrating soft systems methodology and object oriented software development. Proceedings of UKAIS 2004. URL http://eprints.hud.ac.uk/id/eprint/7636/

Download references

Author information

Authors and Affiliations

  1. LIPADE, Université de Paris, Paris, France

    Moustafa Fayad & Salima Benbernou

  2. Femto-ST Institue Disc Dep, University of Bourgogne Franche-Comte, Belfort, France

    Ahmed Mostefaoui & Samir Chouali

Authors
  1. Moustafa Fayad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmed Mostefaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Samir Chouali
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Salima Benbernou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Moustafa Fayad.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fayad, M., Mostefaoui, A., Chouali, S. et al. Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system. Computing 104, 1615–1641 (2022). https://doi.org/10.1007/s00607-022-01058-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00607-022-01058-5

Keywords

Mathematics Subject Classification

Search

Navigation