{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:25:30Z","timestamp":1725906330433},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631936"},{"type":"electronic","value":"9783319631943"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63194-3_4","type":"book-chapter","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T11:58:43Z","timestamp":1501070323000},"page":"44-63","source":"Crossref","is-referenced-by-count":2,"title":["Energy-Aware Model-Driven Development of a Wearable Healthcare Device"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Antonio Esparza","family":"Isasa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Finn Overgaard","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"issue":"8","key":"4_CR1","doi-asserted-by":"crossref","first-page":"1017","DOI":"10.1109\/TC.2004.36","volume":"53","author":"U Anliker","year":"2004","unstructured":"Anliker, U., Beutel, J., Dyer, M., et al.: A systematic approach to the design of distributed wearable systems. IEEE Trans. Comput. 53(8), 1017\u20131033 (2004)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/JPROC.2011.2165689","volume":"100","author":"A Banerjee","year":"2012","unstructured":"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\u2013299 (2012)","journal-title":"Proc. IEEE"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"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\u201388. ACM, April 2010","DOI":"10.1145\/2401736.2401745"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1002\/j.2334-5837.2016.00195.x"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54118-6","volume-title":"Collaborative Design for Embedded Systems - Co-modelling and Co-simulation","year":"2014","unstructured":"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"},{"key":"4_CR7","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. Technical report, February 2017"},{"issue":"1","key":"4_CR8","first-page":"57","volume":"1","author":"SKS Gupta","year":"2011","unstructured":"Gupta, S.K.S., Mukherjee, T., Varsamopoulos, G., Banerjee, A.: Research directions in energy-sustainable cyberphysical systems. Sustain. Comput. Inf. Syst. 1(1), 57\u201374 (2011)","journal-title":"Sustain. Comput. Inf. Syst."},{"key":"4_CR9","unstructured":"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"},{"key":"4_CR10","unstructured":"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"},{"key":"4_CR11","unstructured":"Isasa, J.A.E., J\u00f8rgensen, P.W.V., Ballegaard, C.: Modelling energy consumption in embedded systems with VDM-RT. In: Proceedings of the 4th International ABZ Conference, July 2014"},{"key":"4_CR12","unstructured":"Isasa, J.A.E., J\u00f8rgensen, 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"},{"issue":"3","key":"4_CR13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1504\/IJES.2017.084682","volume":"9","author":"JAE Isasa","year":"2017","unstructured":"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\u2013295 (2017)","journal-title":"Int. J. Embed. Syst."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"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\u20131671 (2011)","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"4_CR15","unstructured":"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"},{"issue":"1","key":"4_CR16","first-page":"1","volume":"35","author":"NN Battle","year":"2010","unstructured":"Battle, N.N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. 35(1), 1\u20136 (2010)","journal-title":"SIGSOFT Softw. Eng."},{"issue":"2\u20133","key":"4_CR17","first-page":"305","volume":"3","author":"PG Larsen","year":"2009","unstructured":"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\u20133), 305\u2013341 (2009)","journal-title":"Int. J. Softw. Inform."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"4_CR19","unstructured":"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"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"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\u20131575, May 2012","DOI":"10.1109\/IranianCEE.2012.6292610"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013323. IEEE, September 2009","DOI":"10.1109\/IEMBS.2009.5333786"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M Verhoef","year":"2006","unstructured":"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\u2013162. Springer, Heidelberg (2006). doi: 10.1007\/11813040_11"},{"key":"4_CR23","unstructured":"Vuorela, T.: Technologies for wearable and portable physiological measurement devices. PhD thesis, Tampere University of Technology (2011)"},{"key":"4_CR24","unstructured":"Wescott, T.: PID without a PhD. Embed. Syst. Des. 13, 86\u2013108 (2000)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"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\u201351 (2010)","DOI":"10.1109\/BSN.2010.53"}],"container-title":["Lecture Notes in Computer Science","Software Engineering in Health Care"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63194-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T12:52:13Z","timestamp":1569934333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63194-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631936","9783319631943"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63194-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}