Skip to main content

Advertisement

SpringerLink
Log in

Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets

  • Mobile Systems
  • Published:
Journal of Medical Systems Aims and scope Submit manuscript

Abstract

Today, implanted medical devices are increasingly used for many patients and in case of diverse health problems. However, several runtime problems and errors are reported by the relevant organizations, even resulting in patient death. One of those devices is the pacemaker. The pacemaker is a device helping the patient to regulate the heartbeat by connecting to the cardiac vessels. This device is directed by its software, so any failure in this software causes a serious malfunction. Therefore, this study aims to a better way to monitor the device’s software behavior to decrease the failure risk. Accordingly, we supervise the runtime function and status of the software. The software verification means examining limitations and needs of the system users by the system running software. In this paper, a method to verify the pacemaker software, based on the fuzzy function of the device, is presented. So, the function limitations of the device are identified and presented as fuzzy rules and then the device is verified based on the hierarchical Fuzzy Colored Petri-net (FCPN), which is formed considering the software limits. Regarding the experiences of using: 1) Fuzzy Petri-nets (FPN) to verify insulin pumps, 2) Colored Petri-nets (CPN) to verify the pacemaker and 3) To verify the pacemaker by a software agent with Petri-network based knowledge, which we gained during the previous studies, the runtime behavior of the pacemaker software is examined by HFCPN, in this paper. This is considered a developing step compared to the earlier work. HFCPN in this paper, compared to the FPN and CPN used in our previous studies reduces the complexity. By presenting the Petri-net (PN) in a hierarchical form, the verification runtime, decreased as 90.61% compared to the verification runtime in the earlier work. Since we need an inference engine in the runtime verification, we used the HFCPN to enhance the performance of the inference engine.

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
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20

Similar content being viewed by others

References

  1. Alemzadeh, H., Iyer, R.K., Kalbarczyk, Z., and Raman, J., Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11:14–26, 2013.

    Article  Google Scholar 

  2. Alemzadeh, H., Raman, J., Leveson, N., and Iyer, R. K., Safety implications of robotoc surgery: a study of 13 years of FDA data on DA VINCI surgical systems. Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2016.

  3. Wojtasik, A., Jaworski, Z., Kuźmicz, W., Wielgus, A., Wałkanis, A., and Sarna, D., Fuzzy logic controller for rate-adaptive heart pacemaker. Appl. Soft Comput. J. 4:259–270, 2004.

    Article  Google Scholar 

  4. Sandro, W. A. S., and Haddad, A. P., The Evolution of Pacemakers: An Electronics Perspective. Ultra Low-Power Biomed. Signal Process., pp 13–31, 2009.

  5. Liu, H.-C., Lin, Q.-L., Mao, L.-X., and Zhang, Z.-Y., Dynamic adaptive fuzzy petri nets for knowledge representation and reasoning. IEEE Trans. Syst. Man, Cybern. Syst. 43(6):1399–1410, 2013.

    Article  Google Scholar 

  6. Shen, V.R.L., Knowledge representation using high-level fuzzy petri nets. IEEE Transactions on Systems, Man, and Cybernetics-part A Systems and Humans. 36(6):1220–1227, 2006.

    Article  Google Scholar 

  7. Majma, N., and Babamir, S.M., Specification and verification of medical monitoring system using petri-nets. J. Med. Signals Sensors. 4(3):181–193, Jul. 2014.

    Google Scholar 

  8. Majma, N., and Babamir, S. M., Medical software runtime checking using petri-nets & software agents. 4th International Conference on Computer and Knowledge Engineering, pp. 449–454, 2014.

  9. Majma, N., Babamir, S. M., and Monadjemi, A., Runtime verification of pacemaker using fuzzy logic and colored petri-nets. 4th Iranian Joint Congress on Fuzzy and Intelligent Systems, pp. 1–5, 2015.

  10. Babamir, S.M., A framework for specifying safe behavior of the CIIP medical system. Adv. Exp. Med. Biol. 696:637–644, 2011.

    Article  CAS  PubMed  Google Scholar 

  11. Barbosa, P. E. S., Morais, M., Galdino, K., Andrade, M. A., Gomes, L., Moutinho, F., and de Figueiredo, J. C. A., Towards medical device behavioural validation using petri nets. 26th International Symposium on Computer-Based Medical System, pp. 4–10, 2013.

  12. Herrero, P., Calm, R., Vehí, J., Armengol, J., Georgiou, P., Oliver, N., and Tomazou, C., Robust fault detection system for insulin pump therapy using continuous glucose monitoring. J. Diabetes Sci. Technol. 6:1131–1141, 2012.

    Article  PubMed  PubMed Central  Google Scholar 

  13. Wu, J., Yan, S., and Xie, L., Reliability analysis method of a solar array by using fault tree analysis and fuzzy reasoning petri net. Acta Astronaut. 69(11–12):960–968, 2011.

    Article  Google Scholar 

  14. Sun, J., Qin, S.-Y., and Song, Y.H., Fault diagnosis of electric power systems based on fuzzy petri nets. IEEE Trans. Power Syst. 19(4):2053–2059, 2004.

    Article  Google Scholar 

  15. Chen, C., Lin, C., and Tsai, H., A rule-based expert system with colored petri net models for distribution system service restoration. IEEE Trans. Power Syst. 17(4):1073–1080, 2002.

    Article  Google Scholar 

  16. Chen, W.L., Kan, C.D., Lin, C.H., and Chen, T., A rule-based decision-making diagnosis system to evaluate arteriovenous shunt stenosis for hemodialysis treatment of patients using fuzzy petri nets. IEEE J. Biomed. Health Inform. 18(2):703–713, 2014.

    Article  PubMed  Google Scholar 

  17. Lee, S.J., and Seong, P.H., Development of automated operating procedure system using fuzzy colored petri nets for nuclear power plants. Ann. Nucl. Energy. 31(8):849–869, 2004.

    Article  CAS  Google Scholar 

  18. Yu, Z., Fu, X., Cai, Y., and Vuran, M. C., A reliable energy-efficient multi-level routing algorithm for wireless sensor networks using fuzzy petri nets. Sens. J. 3381–3400, 2011.

  19. Jantzen, J., Foundations of fuzzy control: a practical approach. John Wiley & Sons, 2013.

  20. Li, X., Wen, Y., and Sergio, P., Adaptive fuzzy petri nets for supervisory hybrid systems modeling. 15th Triennial World Congress, 2002.

  21. Zhou, K.-Q., Zain, A.M., and Mo, L.-P., A decomposition algorithm of fuzzy petri net using an index function and incidence matrix. Expert Syst. Appl. 42(8):3980–3990, 2015.

    Article  Google Scholar 

  22. Barzegar, S., Davoudpour, M., Meybodi, M.R., Sadeghian, A., and Tirandazian, M., Formalized learning automata with adaptive fuzzy coloured petri net; an application specific to managing traffic signals. Scientia Iranica. 18(3):554–565, 2011.

    Article  Google Scholar 

  23. Yang, S.J.H., Tsai, J.J.P., and Chen, C.C., Fuzzy rule base systems verification using high-level petri nets. IEEE Trans. Knowl. Data Eng. 15(2):457–473, 2003.

    Article  Google Scholar 

  24. Li, X., and Lara-Rosano, F., Adaptive fuzzy petri nets for dynamic knowledge representation and inference. Expert Syst. Appl. 19(3):235–241, 2000.

    Article  CAS  Google Scholar 

  25. Li, X.L.X., Yu, W.Y.W., and Lara-Rosano, F., Dynamic knowledge inference and learning under adaptive fuzzy petri net framework. IEEE Transactions on Systems, Man, Cybernetics, Part C. 30(4):442–450, 2000.

    Article  Google Scholar 

  26. Zhang, Z., Wang, S., and Yuan, X., Advanced self-adaptation learning and inference techniques for fuzzy petri net expert system units. Lecture Notes in Computet Science, vol. 5855 LNAI, pp. 487–496, 2009.

  27. Manoj, T., and Leena, J., Knowledge representation using fuzzy petri nets-revisited. IEEE Trans. Knowl. Data Eng. 10(4):666–667, 1998.

    Article  Google Scholar 

  28. Singh, N. K., Lawford, M., Maibaum, T. S. E., and Wassyng, A., Centre for software certification mcmaster centre for software certification. MCSCert report 19, no. October, 2014.

  29. Jayaraj, N., Cherian, C. M., and Vaidyanathan, S. G., Intelligent insulin infuser. In: Third UKSim European Symposium on Computer Modeling and Simulation, pp. 74–78, 2009.

  30. Shi, W.V., and Zhou, M., Body sensors applied in pacemakers: a survey. IEEE Sensors J. 12(6):1817–1827, 2012.

    Article  Google Scholar 

  31. Chen, S.-M.C.S.-M., KE, J.-S., and CHANG, J.-F., Knowledge representation using fuzzy petri nets-revisited. IEEE Trans. Knowl. Data Eng. 2(3):311–319, 1998.

    Article  Google Scholar 

  32. Gniewek, L., and Kluska, J., Hardware implementation of fuzzy petri net as a controller. IEEE Trans. Syst. Man Cybern. B. 34(3):1315–1324, 2004.

    Article  Google Scholar 

  33. Babamir, S.M., Constructing a model-based software monitor for the insulin pump behavior. J. Med. Syst. 36(2):829–840, 2012.

    Article  PubMed  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer, University of Kashan, Kashan, Iran

    Negar Majma

  2. Naghshejahan Higher Education Institute, Isfahan, Iran

    Negar Majma

  3. Department of Computer, University of Kashan, Kashan, Iran

    Seyed Morteza Babamir

  4. Department of Artificial Intelligence, Faculty of Computer Engineering University of Isfahan, Isfahan, 81746, Iran

    Amirhassan Monadjemi

Authors
  1. Negar Majma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seyed Morteza Babamir
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amirhassan Monadjemi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seyed Morteza Babamir.

Additional information

This article is part of the Topical Collection on Mobile Systems.

Appendix

Appendix

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Majma, N., Babamir, S.M. & Monadjemi, A. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. J Med Syst 41, 27 (2017). https://doi.org/10.1007/s10916-016-0664-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10916-016-0664-5

Keywords

Search

Navigation