Specification and simulation of behavior of the Continuous Infusion Insulin Pump system

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 2014Publisher:SAGE PublicationsJournal:Bio-Medical Materials and Engineering, volume 24, pages 1,517-1,526 (issn: 0959-2989,

Copyright policy )

Authors: Seyed Morteza, Babamir; Mehdi Borhani, Dehkordi;

doi: 10.3233/bme-130955

pmid: 24642978

Specification and simulation of behavior of the Continuous Infusion Insulin Pump system

- Summary
- Subjects
- Metrics

Abstract

Continuous Infusion Insulin Pump (CIIP) system is responsible for monitoring diabetic blood sugar. In this paper, we aim to specify and simulate the CIIP software behavior. To this end, we first: (1) presented a model consisting of the CIIP system behavior in response to its environment (diabetic) behavior and (2) we formally defined the safety requirements of the system environment (diabetic) in the Z formal modeling language. Such requirements should be satisfied by the CIIP software. Finally, we programmed the model and requirements.

Related Organizations

University of Applied Science and Technology
Iran (Islamic Republic of)
University of Kashan
Iran (Islamic Republic of)

Keywords

Insulin Infusion Systems, Diabetes Mellitus, Humans, Computer Simulation, Models, Biological, Software

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average