Constructing a model-based software monitor for the insulin pump behavior

Journal of Medical Systems

Volumn 36, Issue 2, 2012, Pages 829-840

  Babamir, Seyed Morteza ^a  

^a UNIVERSITY OF KASHAN   (Iran)

Author keywords

Infusion insulin pump; Run time monitoring; Safety critical system

Indexed keywords

INSULIN;

ALGORITHM; ARTICLE; BLOOD SAMPLING; CALCULATION; COMPUTER PROGRAM; CONTINUOUS INFUSION INSULIN PUMP; HUMAN; INFORMATION SYSTEM; INSULIN DEPENDENT DIABETES MELLITUS; INSULIN PUMP; MATHEMATICAL MODEL; MEDICAL SAFETY CRITICAL SYSTEM; MONITOR; MONITORING; PARAMETERS; PATIENT SAFETY; PERFORMANCE; SENSOR; SYSTEM ANALYSIS; EQUIPMENT DESIGN; GLUCOSE BLOOD LEVEL; INSULIN INFUSION; THEORETICAL MODEL;

ALGORITHMS; BLOOD GLUCOSE; DIABETES MELLITUS, TYPE 1; EQUIPMENT DESIGN; HUMANS; INSULIN INFUSION SYSTEMS; MODELS, THEORETICAL; PATIENT SAFETY; SOFTWARE;

EID: 84863221395     PISSN: 01485598     EISSN: 1573689X     Source Type: Journal    
DOI: 10.1007/s10916-010-9547-3     Document Type: Article

References (14)

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. (Pubitemid 41158279)
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- verificationvalidation. 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. (Pubitemid 40386103)