Skip to main content

Advertisement

SpringerLink
Log in

Constructing a Model-Based Software Monitor for the Insulin Pump Behavior

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

Abstract

Modern medical systems undertaking the task of surveillance of patients are safety-critical systems steered by software. Such systems will bring man’s life into hazard if they fail to meet patients’ requirements; so, adequate reliability of the algorithms and computations used by software of such systems is a matter of concern. The environment of a medical safety-critical system consisting of a patient has safety requirements that should be satisfied by the system. A safety requirement is the one that if it is violated, the system environment will be subject to severe risk. An effective method to verify the algorithms and computations used by software of such systems against safety requirements is to keep the software under surveillance at run-time. This paper aims to present a model-based method to construct a run-time monitor for a safety-critical medical system called Continuous Infusion Insulin Pump (CIIP).

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

Similar content being viewed by others

References

  1. Babamir, S., M., A Framework for Specifying Safe Behavior of the CIIP Medical System, Advances in Experimental Medicine and Biology, Vol. 696: Software Tools and Algorithms for Biological Systems, Springer-Berlin, 550 pp, ISBN: 978-1-4419-7045-9, Release date: November 29, 2010.

  2. Delgado, N., Gates, A. Q., and Roach, S. A., Taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans Softw Eng 30(22):859–872, 2004.

    Article  Google Scholar 

  3. Colyer, A., Clement, A., Harley, G., and Webster, M., Eclipse AspectJ: Aspect-oriented programming with AspectJ and the eclipse AspectJ development tools, Addison Wesley, ISBN-10: 0-321-24587-3, 504 pp, 2005.

  4. http://www.eclipse.org/aspectj/

  5. Nunes, I., Lopes, A., and Vasconcelos, V., 2009. Bridging the gap between algebraic specification and object-oriented generic programming. In Proceedings of 9th International Workshop on Runtime Verification, RV 2009, LNCS 5779, Springer, pp. 115–131.

  6. Rosu, G., Chen, F., and Ball, T., Synthesizing monitors for safety properties: This time with calls and returns. In Proceedings of 8th International Workshop on Runtime Verification, RV 2008, LNCS 5289, Springer, pp. 51–68, 2008.

  7. Wang, J., Liu, S., Qi, Y., and Hou, D., Developing an insulin pump system using the SOFL method, In Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Computer Society, pp. 334–341, 2007.

  8. Sommerville, I., Software engineering, 8th Edition: Addison Wesley, ISBN-10: 0321313798, 864 pp, 2006.

  9. Alur, R. et al, Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System, International Journal on Software Tools for Technology Transfer (STTT), the Special section on Analysis of requirements for a medical device, Springer-Verlag, 5(4), pp. 308–319 2004.

  10. Martinez-Sarriegui, I., Zhu, H., Shan, L., García-Sáez, G., Gómez,, E. J., and Hernando, M. E., Modeling and Formal Specification of a Multi agent Telemedicine System for Diabetes Care, In Proceedings of the International Conference on Agents and Artificial Intelligence, ICAART2009, pp. 507–512, 2009.

  11. Babamir, S. M., and Babamir, F. S., Behavioral specification of real-time requirements. In Proceedings of 15th Asia-Pacific Software Engineering Conference, IEEE Computer Society, pp. 209–306, IEEE doi:10.1109/APSEC.2008.22, 2008.

  12. http://www.vectorcast.com/industries/medical-software-verification-validation.php

  13. Cordeiro, L., Fischer, B., Chen, H., and Marques-Silva, J., Semiformal verification of embedded software in medical devices considering stringent hardware constraints. In Proceedings of the 6th International Conference on Embedded Software and Systems, IEEE Computer Society, pp. 396–403, 2009.

  14. Podgorelec, V., Heriko, M., Juri, M., and Rozman, I., Improving the reliability of medical software by predicting the dangerous software modules. J. Med. Syst. 29(1):3–11, 2005.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Seyed Morteza Babamir

Authors
  1. Seyed Morteza Babamir
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seyed Morteza Babamir.

Appendix

Appendix

Fig. 11
figure 11figure 11

Definition of the state abstraction and inactive class for the CIIP system, Definition of the StateManager class for the CIIP system behavior

Full size image
Fig. 12
figure 12

A segment of the woven target software (the woven code has been identified by red arrows) and the warning message issued by the monitor code (at the foot of the figure)

Full size image

Rights and permissions

Reprints and permissions

About this article

Cite this article

Babamir, S.M. Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. J Med Syst 36, 829–840 (2012). https://doi.org/10.1007/s10916-010-9547-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10916-010-9547-3

Keywords

Search

Navigation