Abstract
The presented paper deals with exponentially growing technology – the Internet of Things (IoT) in the field of healthcare and medicine providing. The goal of the paper is to develop and research a discrete-continuous stochastic model (DCSM) of a functional behavior of a networked healthcare device (in the considered case – an insulin pump) in a form of a structural automaton model (SAM) using the Erlang phase method. It is spoken in the brief details about the healthcare IoT environment, networked insulin pump hazards and behavior with a description of the functional procedures, indicators and parameters of functionality and safety are given. Much attention is aimed at the development process of the DCSM using exponential and Erlang’s distribution laws, description of basic events and structure of a state vector, development of the SAMs. The procedures of validation of the developed models for the exponential and Erlang’s distribution laws are presented and include four research cases to check the relevance of the obtained results. The obtained results show the limit value of the task non-performing probability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lund, D., MacGillivray, C., Turner, V., Morales, M.: Worldwide and regional Internet of Things (IoT) 2014–2020 forecast: a virtuous circle of proven value and demand. In: IDC, Framingham (2014)
Understanding the Internet of Things (IoT), p. 14. GSM Association, London (2014)
World Healthcare Organization, Global report on diabetes (2016)
Manufacturer and User Facility Device Experience Database - (MAUDE). www.fda.gov/MedicalDevies/DeviceRegulationandGuidance/PostmarketRequirements/ReportingAdverseEvents/ucm127891.htm. Accessed 15 Mar 2019
Laplante, P., Kassab, M., Laplante, N., Voas, J.: Building caring healthcare systems in the Internet of Things. IEEE Syst. J. 12, 3030–3037 (2018). https://doi.org/10.1109/jsyst.2017.2662602
Hei, X., Du, X., Lin, S., Lee, I., Sokolsky, O.: Patient infusion pattern based access control schemes for wireless insulin pump system. IEEE Trans. Parallel Distrib. Syst. 26(11), 3108–3121 (2015). https://doi.org/10.1109/tpds.2014.2370045
Laplante, P., Kassab, M., Laplante, N., Voas, J.: Building caring healthcare systems in the Internet of Things. IEEE Syst. J. 12(3), 3030–3037 (2018). https://doi.org/10.1109/jsyst.2017.2662602
Trivedi, K., Selvamuthu, D.: Markov Modeling in Reliability. Wiley StatsRef: Statistics Reference Online. (2014). https://doi.org/10.1002/9781118445112.stat03635
Strielkina, A., Uzun, D., Kharchenko, V.: Modelling of healthcare IoT using the queueing theory. In: 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (2017). https://doi.org/10.1109/idaacs.2017.8095207
Strielkina, A., Kharchenko, V., Uzun, D.: Availability models for healthcare IoT systems: classification and research considering attacks on vulnerabilities. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT) (2018). https://doi.org/10.1109/dessert.2018.8409099
Volochiy, B., Zmysnyi, M., Ozirkovskyy, L., Onyschchenko, V., Salnyk, Y.: Improvement of fidelity of moving objects classification in guard signaling complexes with seismic sensors. Informatyka Automatyka Pomiary w Gospodarce i Ochronie Środowiska 8(4), 36–39 (2018). https://doi.org/10.5604/01.3001.0012.8025
Volochiy, B., Mandziy, B., Ozirkovskyi, M.: Extending the features of software for reliability analysis of fault-tolerant systems. Comput. Probl. Electr. Eng. 2(2), 113–121 (2012)
Strielkina, A., Volochiy, B., Kharchenko, V.: Model of functional behavior of healthcare Internet of Things device. In: 2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT) (2019). https://doi.org/10.1109/dessert.2019.8770020
State Standard of Ukraine 2862 – 94, Methods for calculating reliability factors, Kyiv (1994). 17 p. (in Ukrainian)
Koks, D.R., Smit, V.L.: Queueing Theory. Mir Publ., Moscow (1966). (in Russian)
Koks, D.R., Smit, V.L.: Renewal Theory. Soviet Radio Publ., Moscow (1967). (in Russian)
Klejnrok, L.: Queueing Systems. Vol. I: Theory. Mashinostroenie Publ., Moscow (1979). (in Russian)
Zhang, Y., Jones, P., Jetley, R.: A hazard analysis for a generic insulin infusion pump. J. Diabetes Sci. Technol. 4(2), 263–283 (2010). https://doi.org/10.1177/193229681000400207
Chen, Y., Lawford, M., Wang, H., Wassyng, A.: Insulin pump software certification. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol. 8315, pp. 87–106. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-53956-5_7
Strielkina, A., Kharchenko, V., Uzun, D.: Availability models of the healthcare Internet of Things system taking into account countermeasures selection. In: Ermolayev, V., Suárez-Figueroa, M.C., Yakovyna, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A. (eds.) ICTERI 2018. CCIS, vol. 1007, pp. 220–242. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-13929-2_11
Amoore, J.: A structured approach for investigating the causes of medical device adverse events. J. Med. Eng. 2014, 1–13 (2014). https://doi.org/10.1155/2014/314138
MAUDE - Manufacturer and User Facility Device Experience. https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfMAUDE/search.CFM
ISO 14971. Medical devices — Application of risk management to medical devices
Infusion Pumps Total Product Life Cycle. https://www.fda.gov/media/78369/download
Zhang, Y., Jones, P., Jetley, R.: A hazard analysis for a generic insulin infusion pump. J. Diabetes Sci. Technol. 4, 263–283 (2010)
Masci, P.: The Generic Infusion Pump (GIP). https://rtg.cis.upenn.edu/gip/#Requirements
Fedasyuk, D., Volochiy, S.: Method of developing the structural-automaton models of fault-tolerant systems. In: 2017 14th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics (CADSM) (2017). https://doi.org/10.1109/cadsm.2017.7916076
Martin, J.: Systems Analysis for Data Transmission. Flatiron Pub. (1972)
Volochiy, S., Fedasyuk, D., Chopey, R.: Formalized development of the state transition graphs using the Erlang phase method. In: 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (2017). https://doi.org/10.1109/idaacs.2017.8095255
Acknowledgment
This paper results from the Erasmus+ programme educational project ALIOT «Internet of Things: Emerging Curriculum for Industry and Human Applications» (reference number 573818-EPP-1-2016-1-UK-EPPKA2-CBHE-JP) in which the appropriate course is developed (ITM4 - IoT for health systems) within its framework, modules related to the IoT systems modelling have been developed.
The authors also would like to show deep gratitude to colleagues National Aerospace University «KhAI» and Lviv Polytechnic National University for their patient guidance, enthusiastic encouragement and useful critiques of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Strielkina, A., Volochiy, B., Kharchenko, V., Volochiy, S. (2020). Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method. In: Ermolayev, V., Mallet, F., Yakovyna, V., Mayr, H., Spivakovsky, A. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2019. Communications in Computer and Information Science, vol 1175. Springer, Cham. https://doi.org/10.1007/978-3-030-39459-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-39459-2_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-39458-5
Online ISBN: 978-3-030-39459-2
eBook Packages: Computer ScienceComputer Science (R0)