Top

Published in:

2017 | OriginalPaper | Chapter

Energy-Aware Model-Driven Development of a Wearable Healthcare Device

Authors : José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

Published in: Software Engineering in Health Care

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The healthcare domain is experiencing an expansion of wearable embedded devices. These devices are typically battery powered and expected to deliver a safe and reliable service to the patient regardless of its power reserves. Being energy efficient brings an additional level of complexity to the development of these solutions. In this paper we propose the application of a well-founded model-driven energy-aware approach to tackle the energy consumption in such solutions addressing all their critical subsystems: control software, communication and mechanical components. The approach enables exploration of the design space, reduces prototyping costs and helps in build confidence in the proposed solution. We demonstrate this approach in a case study focused on the development of an intelligent compression stocking to treat leg-venous insufficiency. We also discuss how this approach has benefited the development of the actual device.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Towards an AADL-Based Definition of App Architecture for Medical Application Platforms

next chapter Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey

Overture project official website: www.overturetool.org.

20-sim official website www.20sim.com.

This framework is currently known as Crescendo but it was called DESTECS in previous published work (see www.crescendotool.org).

This is an acronym for “Integrated Tool Chain for Model-based Design of Cyber-Physical Systems” and information can be found at www.into-cps.au.dk.

e-Stockings project official website: http://www.e-stockings.eu/.

These figures should be considered as average and approximate within their respective order of magnitude.

Modern CPUs incorporate several low power modes, the most common being: a Sleep mode with a current draw within the order of microamps and a Hibernation mode, with a current draw of nanoamps and less reactive than the first one. Mode names vary depending on the manufacturer.

The power consumption of these sensors is not taken into consideration because it is negligible if compared with the power consumption of the CPU.

More details can be found in http://sqrl.mcmaster.ca/pacemaker.htm.

Anliker, U., Beutel, J., Dyer, M., et al.: A systematic approach to the design of distributed wearable systems. IEEE Trans. Comput. 53(8), 1017–1033 (2004)CrossRef

Banerjee, A., Venkatasubramanian, K.K., Mukherjee, T., Gupta, S.K.S.: Ensuring safety, security, and sustainability of mission-critical cyber-physical systems. Proc. IEEE 100(1), 283–299 (2012)CrossRef

Broenink, J.F., Larsen, P.G., Verhoef, M., Kleijn, C., Jovanovic, D., Pierce, K., Wouters, F.: Design support and tooling for dependable embedded control software. In: Proceedings of Serene 2010 International Workshop on Software Engineering for Resilient Systems, pp. 77–88. ACM, April 2010

Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering, Florence, Italy, May 2015, ICSE 2015 (2015)

Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.-D.: Collaborative model-based systems engineering for cyber-physical systems - a case study in building automation. In: INCOSE 2016, Edinburgh, Scotland, July 2016

Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54118-6

Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. Technical report, February 2017

Gupta, S.K.S., Mukherjee, T., Varsamopoulos, G., Banerjee, A.: Research directions in energy-sustainable cyberphysical systems. Sustain. Comput. Inf. Syst. 1(1), 57–74 (2011)

Hansen, F.O., Jensen, T.F., Esparza, J.A.: Distributed ICT architecture for developing, configuring and monitoring mobile embedded healthcare systems. In: International Conference on Health Informatics (HEALTHINF 2014), March 2014

10.

Isasa, J.A.E., Hansen, F.O., Larsen, P.G.: Embedded systems energy consumption analysis through co-modelling and simulation. In: Proceedings of the International Conference on Modeling and Simulation, ICMS 2013. World Academy of Science, Engineering and Technology, June 2013

11.

Isasa, J.A.E., Jørgensen, P.W.V., Ballegaard, C.: Modelling energy consumption in embedded systems with VDM-RT. In: Proceedings of the 4th International ABZ Conference, July 2014

12.

Isasa, J.A.E., Jørgensen, P.W.V., Larsen, P.G.: Hardware in the loop for VDM-real time modelling of embedded systems. Hardware in the loop for VDM-real time modelling of embedded systems. In: MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development, January 2014

13.

Isasa, J.A.E., Larsen, P.G., Hansen, F.O.: A holistic approach to energy-aware design of cyber-physical systems. Int. J. Embed. Syst. 9(3), 283–295 (2017)CrossRef

14.

Jensen, J.C., Chang, D.H., Lee, E.A.: A model-based design methodology for cyber-physical systems. In: 7th International Wireless Communications and Mobile Computing Conference (IWCMC), pp. 1666–1671 (2011)

15.

Jensen, T.F., Hansen, F.O., Isasa, J.A.E., et al.: ICT-enabled medical compression stocking for treatment of leg-venous insufficiency. In: International Conference on Biomedical Electronics and Devices (BIODEVICES 2014), March 2014

16.

Battle, N.N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. 35(1), 1–6 (2010)

17.

Larsen, P.G., Fitzgerald, J.S., Wolff, S.: Methods for the development of distributed real-time embedded systems using VDM. Int. J. Softw. Inform. 3(2–3), 305–341 (2009)

18.

Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S., Sadovykh, A.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop, Vienna, Austria (2016)

19.

Larsen, P. G., Fitzgerald, J., Woodcock, J., Lecomte, T.: Collaborative modelling and simulation for cyber-physical systems In: Trustworthy Cyber-Physical Systems Engineering. Chapman and Hall/CRC, September 2016. ISBN 9781498742450

20.

Mokhlespour, M.I., Zobeiri, O., Narimani, R., et al.: Design and Prototyping of wearable measuring system for trunk movement using textile sensors. In: Proceedings of the 20th Iranian Conference on Electrical Engineering, (ICEE 2012), pp. 1571–1575, May 2012

21.

Pantelopoulos, A., Bourbakis, N.: SPN-model based simulation of a wearable health monitoring system. In: Proceedings of the 31st Annual International Conference of the IEEE EMBS, pp. 320–323. IEEE, September 2009

22.

Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147–162. Springer, Heidelberg (2006). doi:10.1007/11813040_11 CrossRef

23.

Vuorela, T.: Technologies for wearable and portable physiological measurement devices. PhD thesis, Tampere University of Technology (2011)

24.

Wescott, T.: PID without a PhD. Embed. Syst. Des. 13, 86–108 (2000)

25.

Wong, K.-I.: Rapid prototyping of a low-power, wireless, reflectance photoplethysmography system. In: Proceedings of the 2010 International Conference on Body Sensor Networks, pp. 47–51 (2010)

Title: Energy-Aware Model-Driven Development of a Wearable Healthcare Device
Authors: José Antonio Esparza Isasa
Peter Gorm Larsen
Finn Overgaard Hansen
Publisher: Springer International Publishing
Book: Software Engineering in Health Care
Print ISBN: 978-3-319-63193-6

Electronic ISBN: 978-3-319-63194-3

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-63194-3_4

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner